:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kumar, Aman
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2404.18270
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
by: Litterick, Mark, et al.
Published: (2024)

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

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
by: Mohanty, Hansa, et al.
Published: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
by: Bayless, Sam, et al.
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
by: Xi, Bowen, et al.
Published: (2023)

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

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)

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

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
by: Contreras, Ricardo, et al.
Published: (2025)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
by: Metere, Alfredo
Published: (2026)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
by: Klopfenstein, Rocky, et al.
Published: (2025)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
by: Dougherty, Quinn, et al.
Published: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
by: Yousefzadeh, Roozbeh, et al.
Published: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
by: Arkoudas, Konstantine, et al.
Published: (2026)