热点
"形式语言" 相关文章
GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language
cs.AI updates on arXiv.org 2025-11-03T05:18:25.000000Z
Reliable Evaluation and Benchmarks for Statement Autoformalization
cs.AI updates on arXiv.org 2025-10-30T04:23:15.000000Z
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
cs.AI updates on arXiv.org 2025-10-20T04:14:28.000000Z
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
cs.AI updates on arXiv.org 2025-10-20T04:14:28.000000Z
Extracting Moore Machines from Transformers using Queries and Counterexamples
cs.AI updates on arXiv.org 2025-09-30T04:08:42.000000Z
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
cs.AI updates on arXiv.org 2025-09-05T04:45:28.000000Z
ByteDance Introduces Seed-Prover: An Advanced Formal Reasoning System for Automated Mathematical Theorem Proving
MarkTechPost@AI 2025-08-04T07:07:35.000000Z
From Logic to Language: A Trust Index for Problem Solving with LLMs
cs.AI updates on arXiv.org 2025-07-23T04:03:04.000000Z