English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#autoformalization search results

Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 16

SITA: A framework for structure-to-instance theorem autoformalization. ~ Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen. arxiv.org/abs/2511.10356 #AI #Math #Autoformalization #LLMs #ITP #LeanProver

0
3
11
6
1K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 20

ProofBridge: Auto-formalization of natural language proofs in Lean via joint embeddings. ~ Prithwish Jana et als. arxiv.org/abs/2510.15681 #ITP #LeanProver #Autoformalization #LLMs #Math

0
5
21
12
1K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 17

MASA: LLM-driven multi-agent systems for autoformalization. ~ Lan Zhang, Marco Valentino, André Freitas. arxiv.org/abs/2510.08988… #Autoformalization #LLM #ITP #LeanProver #Math

1
1
6
2
339
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 1

Agentic Lean Auformalization (ALA): An LLM collaborative approach to autoformalization in LEAN. ~ Patricio Gallardo, Maziar Raissi, Ke Zhang, Sudhir Murthy. openreview.net/forum?id=DNunB… #Autoformalization #ITP #LeanProver #LLMs

0
1
5
4
353
freekwiedijk's profile picture. proofs🔑dances⚙️bodies🔥dreams⭐️
Freek Wiedijk 🎲
 @freekwiedijk
Jul 10, 2024

Josef Urban presenting about ten years of work on #autoformalization 🤗 #HIM

freekwiedijk's tweet image. Josef Urban presenting about ten years of work on #autoformalization 🤗 #HIM
0
0
4
1
144
ntvll's profile picture. MS Avionics, Autoformalization, Autonomous Vehicles, Road Safety Metrics
Gregory Gromov
@ntvll
Feb 24, 2023

3/ As a first step it’ll be the two levels process of #Autoformalization: &(1) drivers’ *verbalisation* and then (2) labellers’ *formalisation* of what exactly happen on the road that cause a next case of ADAS disengagement. Thread

ntvll's profile picture. MS Avionics, Autoformalization, Autonomous Vehicles, Road Safety Metrics
Gregory Gromov
@ntvll
Feb 21, 2023

.@Tesla resolves above “bottleneck” of machine learning by 2 level of Autoformalization: 1) 100,000s drivers *verbalise* the road situations that caused ADAS disengagements. 2) 1000s labellers *formalise* drivers description of disengagement situations by watching related videos.

1
0
0
0
123
0
0
0
0
37
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 18

Evaluating autoformalization robustness via semantically similar paraphrasing. ~ Hayden Moore, Asfahan Shah. arxiv.org/abs/2511.12784 #AI #Math #Autoformalization #ITP #LeanProver

0
0
4
2
277
ntvll's profile picture. MS Avionics, Autoformalization, Autonomous Vehicles, Road Safety Metrics
Gregory Gromov
@ntvll
Feb 24, 2023

2/ @elonmusk, @CathieDWood, … understand that Tesla ADAS is #1 factor to keep company position as auto industry leader in feasible feature Accordingly, Tesla creates opportunity to include customers in the ADAS R&D loop to launche process of #autoformalization drivers knowledge

1
0
0
0
44
mboehme_'s profile picture. Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Marcel Böhme👨‍🔬
 @mboehme_
Jun 8, 2024

I'm absolutely convinced that automatic formalization, automatic proof of mathematical theorems, automatic mathematics is entirely without meaning. Change my mind. #Autoformalization #LLMs #ITP #Lean4

5
0
9
10
5K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 18

Evaluating autoformalization robustness via semantically similar paraphrasing. ~ Hayden Moore, Asfahan Shah. arxiv.org/abs/2511.12784 #AI #Math #Autoformalization #ITP #LeanProver

0
0
4
2
277
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 16

SITA: A framework for structure-to-instance theorem autoformalization. ~ Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen. arxiv.org/abs/2511.10356 #AI #Math #Autoformalization #LLMs #ITP #LeanProver

0
3
11
6
1K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 20

ProofBridge: Auto-formalization of natural language proofs in Lean via joint embeddings. ~ Prithwish Jana et als. arxiv.org/abs/2510.15681 #ITP #LeanProver #Autoformalization #LLMs #Math

0
5
21
12
1K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 17

MASA: LLM-driven multi-agent systems for autoformalization. ~ Lan Zhang, Marco Valentino, André Freitas. arxiv.org/abs/2510.08988… #Autoformalization #LLM #ITP #LeanProver #Math

1
1
6
2
339
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Oct 1

Agentic Lean Auformalization (ALA): An LLM collaborative approach to autoformalization in LEAN. ~ Patricio Gallardo, Maziar Raissi, Ke Zhang, Sudhir Murthy. openreview.net/forum?id=DNunB… #Autoformalization #ITP #LeanProver #LLMs

0
1
5
4
353
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Sep 12

Introducing Gauss, an agent for autoformalization. math.inc/gauss #AI #Autoformalization #ITP #LeanProver #Math

0
0
0
2
286
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jun 27

LOGICPO: Efficient translation of NL-based logical problems to FOL using LLMs and preference optimization. ~ Koushik Viswanadha, Deepanway Ghosal, Somak Aditay. arxiv.org/abs/2506.18383… #LLMs #Math #Autoformalization

0
2
10
5
509
freekwiedijk's profile picture. proofs🔑dances⚙️bodies🔥dreams⭐️
Freek Wiedijk 🎲
 @freekwiedijk
Jul 10, 2024

Josef Urban presenting about ten years of work on #autoformalization 🤗 #HIM

freekwiedijk's tweet image. Josef Urban presenting about ten years of work on #autoformalization 🤗 #HIM
0
0
4
1
144

Something went wrong.


Something went wrong.


United States Trends