Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Chengwu, Yin, Yichun, Yuan, Ye, Xie, Jiaxuan, Li, Botao, Li, Siqi, Shen, Jianhao, Xu, Yan, Shang, Lifeng, Zhang, Ming
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Computation and Language Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Descripción
Descripción no disponible.

Ejemplares similares