activity
20152025
most citedLambdaNet: Probabilistic Type Inference using Graph Neural Networks

47 citations · 129 across the 27 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

Amitayush Thakur, George Tsoukalas, Greg Durrett +1

Neural approaches to theorem proving require robust infrastructure for interfacing with interactive theorem provers (ITPs), extracting structured proof data, and executing proof se…