:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bhat, Vishak K, Chanda, Prateek, Ekbote, Vijval, Khandelwal, Ashmit, Swaroop, Maitreyi, Balasubramanian, Vineeth N., Kambhampati, Subbarao, Natarajan, Nagarajan, Sharma, Amit
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	https://arxiv.org/abs/2602.11202
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Can Large Language Models Reason and Plan?
by: Kambhampati, Subbarao
Published: (2024)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
by: Rose, Samuel, et al.
Published: (2024)

On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks
by: Stechly, Kaya, et al.
Published: (2024)

Characterizing Deep Research: A Benchmark and Formal Definition
by: Java, Abhinav, et al.
Published: (2025)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Can large language models reason and plan?
by: Subbarao Kambhampati
Published: (2024)

Mind The Gap: Quantifying Mechanistic Gaps in Algorithmic Reasoning via Neural Compilation
by: Saldyt, Lucas, et al.
Published: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
by: Balasubramanian, A. R.
Published: (2024)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
by: Allen, Bradley P., et al.
Published: (2025)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
by: Balasubramanian, A. R., et al.
Published: (2020)

Verification Modulo Tested Library Contracts
by: Uppar, Abhishek, et al.
Published: (2026)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
by: Lotz, Martin, et al.
Published: (2024)

Distinct Distances on Pfaffian Curves
by: Natarajan, Abhiram, et al.
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Do Cognitively Interpretable Reasoning Traces Improve LLM Performance?
by: Bhambri, Siddhant, et al.
Published: (2025)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Hyperproperty Verification as CHC Satisfiability
by: Itzhaky, Shachar, et al.
Published: (2023)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

Revisiting Differential Verification: Equivalence Verification with Confidence
by: Teuber, Samuel, et al.
Published: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
by: Saldyt, Lucas, et al.
Published: (2024)

Runtime Verification of Interactions Using Automata
by: Weil-Kennedy, Chana, et al.
Published: (2025)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Runtime Verification for LTL in Stochastic Systems
by: Esparza, Javier, et al.
Published: (2025)

A Program Instrumentation Framework for Automatic Verification
by: Amilon, Jesper, et al.
Published: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
by: Akshay, S., et al.
Published: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
by: Yubeaton, Patrick, et al.
Published: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)