Imagen de Portada

Autonomous Code Evolution Meets NP-Completeness

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yu, Cunxi, Liang, Rongjian, Ho, Chia-Tung, Ren, Haoxing
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
por: Dai, Steve, et al.
Publicado: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
por: Kim, Curie, et al.
Publicado: (2026)

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

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
por: Li, Augustus Haoyang
Publicado: (2026)

Learning to Solve and Optimize by Evolving Code
por: Semmelrock, Veronika, et al.
Publicado: (2026)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
por: Alamdari, Parand A., et al.
Publicado: (2026)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
por: Zhang, Terry Jingchen, et al.
Publicado: (2025)

SchemaCoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting
por: Wan, Lily Jiaxin, et al.
Publicado: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
por: Zhao, Yanxiao, et al.
Publicado: (2025)

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

Agentic System with Modal Logic for Autonomous Diagnostics
por: Sulc, Antonin, et al.
Publicado: (2025)

Formal Explanations for Neuro-Symbolic AI
por: Paul, Sushmita, et al.
Publicado: (2024)

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

Verification of Autonomous Neural Car Control with KeYmaera X
por: Prebet, Enguerrand, et al.
Publicado: (2025)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
por: Liu, Xinyu, et al.
Publicado: (2026)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
por: Jha, Saurabh, et al.
Publicado: (2026)

Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC
por: Yu, Cunxi, et al.
Publicado: (2026)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
por: Buleshnyi, Mykhailo, et al.
Publicado: (2025)

P2C: Path to Counterfactuals
por: Dasgupta, Sopam, et al.
Publicado: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
por: Carvalho, Levi Cordeiro, et al.
Publicado: (2025)

Expressive Temporal Specifications for Reward Monitoring
por: Adalat, Omar, et al.
Publicado: (2025)

Abduction of Domain Relationships from Data for VQA
por: Chowdhury, Al Mehdi Saadat, et al.
Publicado: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
por: Ciatto, Giovanni, et al.
Publicado: (2025)

On Trustworthy Rule-Based Models and Explanations
por: Siala, Mohamed, et al.
Publicado: (2025)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
por: Zhapa-Camacho, Fernando, et al.
Publicado: (2025)

Regional, Lattice and Logical Representations of Neural Networks
por: Preto, Sandro, et al.
Publicado: (2025)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
por: Baugh, Kexin Gu, et al.
Publicado: (2025)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
por: Narboux, Julien, et al.
Publicado: (2025)

Neural Logic Networks for Interpretable Classification
por: Perreault, Vincent, et al.
Publicado: (2025)

Halting Recurrent GNNs and the Graded $μ$-Calculus
por: Bollen, Jeroen, et al.
Publicado: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

Matrix Factorization for Inferring Associations and Missing Links
por: Barron, Ryan, et al.
Publicado: (2025)

Neurosymbolic Decision Trees
por: Möller, Matthias, et al.
Publicado: (2025)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
por: Dong, Kefan, et al.
Publicado: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
por: Bizzaro, Davide, et al.
Publicado: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
por: Kasaura, Kazumi, et al.
Publicado: (2025)

Most General Explanations of Tree Ensembles (Extended Version)
por: Izza, Yacine, et al.
Publicado: (2025)

Compact Rule-Based Classifier Learning via Gradient Descent
por: Fumanal-Idocin, Javier, et al.
Publicado: (2025)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
por: Johnson, Blair, et al.
Publicado: (2025)