From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “verifiability” 191

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Evaluation of Attribution Bias in Generator-Aware Retrieval-Augmented Large Language Models
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Amin Abolghasemi, Leif A. Azzopardi, Seyyed Hadi Hashemi, Maarten de Rijke, Suzan Verberne

0

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
The Right to Rectification and Inferred Personal Data
2025 SSRN Electronic Journal preprint Social Sciences Digitalization, Law, and Regulation Open access

Andreas Häuselmann, Bart H. M. Custers

2

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Analog Feedback-Controlled Memristor programming Circuit for analog Content Addressable Memory
2023 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Paul-Philipp Manea, Sara Ameli, Mohammad Hizzani, Amro Eldebiky, John Paul Strachan

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Zhong Li, Qi Huang, Yuxuan Zhu, Mohammad Mohammadi Amiri, Bas van Stein, Thomas Bäck, +3 more

0

citations
Construction and validation of a bladder cancer risk model based on autophagy related genes
2022 Research Square preprint Medicine Bladder and Urothelial Cancer Treatments Open access

Chong Shen, Yan Yan, Shaobo Yang, Zejin Wang, Zhouliang Wu, Zhi Li, +4 more

0

citations
Design of Easily Removable Lattice-Based Support Structures for L-Pbf
2021 Preprints.org preprint Engineering Additive Manufacturing Materials and Processes Open access

Zarei Omid, Geisen Ole, Jitendra Gaurav, Ziegler Stephan, Henrich Johannes

2

citations
Autoencoder-enabled Model Portability for Reducing Hyperparameter Tuning Efforts in Side-channel Analysis
2023 Research Square preprint Computer Science Cryptographic Implementations and Security Open access

Marina Krček, Guilherme Perin

1

citations
Quantum machine learning advantages beyond hardness of evaluation
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Riccardo Molteni, Simon C. Marshall, Vedran Dunjko

0

citations
TOI-1416: A system with a super-Earth planet with a 1.07d period
2023 arXiv (Cornell University) preprint Physics and Astronomy Stellar, planetary, and galactic studies Open access

H. J. Deeg, Iskra Georgieva, G. Nowak, Carina M. Persson, Bryson Cale, F. Murgas, +46 more

0

citations
The Decision to Verify: How Warmth and User Characteristics Shape Reliance on Conversational Agents for Information Search
2026 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Mert Yazan, Frederik Situmeang, Suzan Verberne

0

citations
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Frederik Baymler Mathiesen, Luca Laurenti, Alessandro Abate

0

citations
Loop-Back Authority in LLM Agent Teams: A Paired Experiment on Flat and Hierarchical Coordination
2026 arXiv (Cornell University) preprint Computer Science Artificial Intelligence Applications Open access

Burak Agachan, Max J. van Duijn, Amirhossein Zohrehvand

0

citations
The Potential Effect of Nav1.8 in Autism Spectrum Disorder: Evidence from A Congenital Case with Compound Heterozygous SCN10A Mutations
2020 preprint Neuroscience Autism Spectrum Disorder Research Open access

Björn Heinrichs, Baowen Liu, Jin Zhang, Jannis Meents, Kim Huyen Trang Le, Petra A. I. Hautvast, +7 more

0

citations
Production of linear alkanes via the solid-state hydrogenation of interstellar polyynes
2025 arXiv (Cornell University) preprint Physics and Astronomy Astrophysics and Star Formation Studies Open access

G. Fedoseev, G. A. Baratta, Maria Elisabetta Palumbo, K.-J. Chuang

0

citations
Case-Grounded Evidence Verification: A Framework for Constructing Evidence-Sensitive Supervision
2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access

Soroosh Tayebi Arasteh, Mehdi Joodaki, Mahshad Lotfinia, Sven Nebelung, Daniel Truhn

0

citations
TOPO: Time-Ordered Provable Outputs
2024 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Santiago Casas

0

citations
Query Based Access Control for Linked Data
2020 arXiv (Cornell University) preprint Social Sciences Access Control and Trust Open access

Sabrina Kirrane, Alessandra Mileo, Axel Polleres, Stefan Decker

0

citations
Reliable validation of Reinforcement Learning Benchmarks
2022 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Matthias Müller-Brockhausen, Aske Plaat, Mike Preuß

0

citations
Dutch patients, caregivers and healthcare professionals generate first nationwide research agenda for juvenile idiopathic arthritis
2020 Research Square preprint Medicine Autoimmune and Inflammatory Disorders Research Open access

Anouk Verwoerd, Wineke Armbrust, Katherine Cowan, Lotte van den Berg, Joke H. de Boer, Sanne Bookelman, +17 more

0

citations
Auditing Syndrome-to-Decoder Mappings for Repetition, Surface, CSS, and Digitized-GKP Interfaces
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis Delali Kwesi Wayo, Chinonso Onah, Rodrigo Alves Dias, Leonardo Goliatt, Sven Groppe

0

citations
UAV-Enabled ISAC: Towards On-Demand Sensing Services and Enhanced Communication
2025 arXiv (Cornell University) preprint Engineering UAV Applications and Optimization Open access

Xiaopeng Yuan, Peng Wu, Xinran Wang, Yulin Hu, Anke Schmeink

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations