Imagen de Portada

Automated Conjecture Resolution with Formal Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ju, Haocheng, Gao, Guoxiong, Jiang, Jiedong, Wu, Bin, Sun, Zeming, Liu, Shurui, Chen, Leheng, Wang, Yutong, Wang, Yuefeng, Wang, Zichen, He, Wanyi, Wu, Peihao, Xiao, Liang, Liu, Ruochuan, Dai, Bryan, Dong, Bin
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
por: Gao, Guoxiong, et al.
Publicado: (2026)

Matlas: A Semantic Search Engine for Mathematics
por: Ju, Haocheng, et al.
Publicado: (2026)

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
por: Jiang, Jiedong, et al.
Publicado: (2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
por: Shen, Ziju, et al.
Publicado: (2025)

A Semantic Search Engine for Mathlib4
por: Gao, Guoxiong, et al.
Publicado: (2024)

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
por: Wang, Hanyu, et al.
Publicado: (2025)

Herald: A Natural Language Annotated Lean 4 Dataset
por: Gao, Guoxiong, et al.
Publicado: (2024)

AI for Mathematics: Progress, Challenges, and Prospects
por: Ju, Haocheng, et al.
Publicado: (2026)

MIRB: Mathematical Information Retrieval Benchmark
por: Ju, Haocheng, et al.
Publicado: (2025)

On some open problems in commutative algebra resolved by Rethlas
por: Jiang, Jiedong, et al.
Publicado: (2026)

Optimal bend-and-break for foliations
por: Liu, Jihao, et al.
Publicado: (2026)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
por: Xie, Zichen, et al.
Publicado: (2026)

Slopes of modular forms and geometry of eigencurves
por: Liu, Ruochuan, et al.
Publicado: (2023)

A local analogue of the ghost conjecture of Bergdall-Pollack
por: Liu, Ruochuan, et al.
Publicado: (2022)

Automated Formal Verification of a Highly-Configurable Register Generator
por: Zhang, Shuhang, et al.
Publicado: (2024)

Formalizing UML State Machines for Automated Verification -- A Survey
por: André, Étienne, et al.
Publicado: (2024)

PDEformer-1: A Foundation Model for One-Dimensional Partial Differential Equations
por: Ye, Zhanhong, et al.
Publicado: (2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
por: Zhang, Shuhang, et al.
Publicado: (2025)

PDEformer: Towards a Foundation Model for One-Dimensional Partial Differential Equations
por: Ye, Zhanhong, et al.
Publicado: (2024)

Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results
por: Bérczi, Gergely, et al.
Publicado: (2025)

Singular-value gap of nonreversible Markov processes
por: Xu, Ruochuan
Publicado: (2026)

Don't Let a Few Network Failures Slow the Entire AllReduce
por: Chen, Peiqing, et al.
Publicado: (2026)

From Atoms to Trees: Building a Structured Feature Forest with Hierarchical Sparse Autoencoders
por: Luo, Yifan, et al.
Publicado: (2026)

Formal Verification in Automated Manufacturing
por: Tang, Yiheng
Publicado: (2025)

Higher Period Integrals and Derivatives of L-functions
por: Liu, Shurui, et al.
Publicado: (2025)

Mechanism Design and Performance Analysis of Multi‐Road Screw‐Propelled Vehicle Based on DEM–MBD Coupling
por: Shurui Shi, et al.
Publicado: (2025)

Formalization of Complexity Analysis of the First-order Algorithms for Convex Optimization
por: Li, Chenyi, et al.
Publicado: (2024)

Correlation Function Of Thin-Shell Operators
por: Chen, Bin, et al.
Publicado: (2024)

An Adaptive X-vector Model for Text-independent Speaker Verification
por: Gu, Bin, et al.
Publicado: (2020)

TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
por: Yutong, Guo, et al.
Publicado: (2025)

Mixture-of-Channels: Exploiting Sparse FFNs for Efficient LLMs Pre-Training and Inference
por: Wu, Tong, et al.
Publicado: (2025)

M2F: Automated Formalization of Mathematical Literature at Scale
por: Wang, Zichen, et al.
Publicado: (2026)

A Comparative Study of Deep Learning and Iterative Algorithms for Joint Channel Estimation and Signal Detection in OFDM Systems
por: Ju, Haocheng, et al.
Publicado: (2023)

Collision-free Control Barrier Functions for General Ellipsoids via Separating Hyperplane
por: Wu, Zeming, et al.
Publicado: (2025)

Information Importance-Aware Defense against Adversarial Attack for Automatic Modulation Classification:An XAI-Based Approach
por: Wang, Jingchun, et al.
Publicado: (2024)

Model Order Reduction for Large-scale Circuits Using Higher Order Dynamic Mode Decomposition
por: Liu, Na, et al.
Publicado: (2025)

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

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
por: Ma, Lezhi, et al.
Publicado: (2026)

Visualisation and Automated Formal Verification of TOSCA Workflows
por: Ouadie Khebbeb, et al.
Publicado: (2026)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)