Copertina

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Baoding, Li, Zenan, Sun, Wei, Yao, Yuan, Chen, Taolue, Ma, Xiaoxing, Su, Zhendong
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Softened Symbol Grounding for Neuro-symbolic Systems
di: Li, Zenan, et al.
Pubblicazione: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
di: Li, Zenan, et al.
Pubblicazione: (2024)

Neuro-symbolic Learning Yielding Logical Constraints
di: Li, Zenan, et al.
Pubblicazione: (2024)

Task Abstention for Large Language Models in Code Generation
di: Zhou, Yanke, et al.
Pubblicazione: (2026)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
di: Li, Zenan, et al.
Pubblicazione: (2026)

Learning with Logical Constraints but without Shortcut Satisfaction
di: Li, Zenan, et al.
Pubblicazione: (2024)

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
di: Ambati, Murari
Pubblicazione: (2025)

Uncertainty Quantification for LLM-based Code Generation
di: Xu, Senrong, et al.
Pubblicazione: (2026)

Neuro-Symbolic Verification on Instruction Following of LLMs
di: Su, Yiming, et al.
Pubblicazione: (2026)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
di: Li, Zenan, et al.
Pubblicazione: (2025)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
di: Li, Zenan, et al.
Pubblicazione: (2026)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
di: Jia, Lin-Han, et al.
Pubblicazione: (2025)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
di: Yang, Xiao-Wen, et al.
Pubblicazione: (2025)

A Learnability Analysis on Neuro-Symbolic Learning
di: He, Hao-Yuan, et al.
Pubblicazione: (2025)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
di: Yang, Sen, et al.
Pubblicazione: (2023)

AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
di: Kwon, Jiyong, et al.
Pubblicazione: (2026)

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
di: Manginas, Vasileios, et al.
Pubblicazione: (2025)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
di: Daggitt, Matthew L., et al.
Pubblicazione: (2024)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
di: Wu, Yanrui, et al.
Pubblicazione: (2026)

Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
di: Mahdavi, Sadegh, et al.
Pubblicazione: (2025)

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
di: Zhou, Zhi, et al.
Pubblicazione: (2025)

Neuro-Symbolic Entity Alignment via Variational Inference
di: Chen, Shengyuan, et al.
Pubblicazione: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2024)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
di: Sharan, S P, et al.
Pubblicazione: (2024)

Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
di: Zhou, Zhi, et al.
Pubblicazione: (2025)

KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
di: Yong, Binbin, et al.
Pubblicazione: (2026)

Proof-Carrying Neuro-Symbolic Code
di: Komendantskaya, Ekaterina
Pubblicazione: (2025)

Compositional Neuro-Symbolic Reasoning
di: Das, Anugyan, et al.
Pubblicazione: (2026)

Federated Neuro-Symbolic Learning
di: Xing, Pengwei, et al.
Pubblicazione: (2023)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
di: Zhang, Xuan, et al.
Pubblicazione: (2025)

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
di: Munir, Mustafa, et al.
Pubblicazione: (2025)

VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension
di: Park, Hyejin, et al.
Pubblicazione: (2026)

Neuro-Symbolic AI for Military Applications
di: Hagos, Desta Haileselassie, et al.
Pubblicazione: (2024)

Assured Autonomy with Neuro-Symbolic Perception
di: Hallyburton, R. Spencer, et al.
Pubblicazione: (2025)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
di: Bayazıt, Barış, et al.
Pubblicazione: (2025)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
di: Kohaut, Simon, et al.
Pubblicazione: (2024)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
di: Sigloch, Paul, et al.
Pubblicazione: (2026)

A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives
di: Hossain, Delower, et al.
Pubblicazione: (2025)

Neuro-Symbolic Rule Lists
di: Xu, Sascha, et al.
Pubblicazione: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)