Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Chalmers University of Technology and University of Gothenburg
1
0
2
Symbolic informalization transforms formal mathematics into fluent natural language, making complex proofs accessible and understandable across multiple languages.