Language Breakdown
Lines of code distribution across 1 owned repositories
Collaboration Network
Global Impact visualization
Repos
17
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
No followers yet.
Top Repositories
Autoregressive Policy for Robot Learning
By Hannah Scholz et al. In this repository I am collecting the code of my formalisation of CW complexes in Lean.
Tutorial on neural theorem proving
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
Retrieval-Augmented Theorem Provers for Lean
Tool for data extraction and interacting with Lean programmatically.
Official implementation of "SUGAR: Pre-training 3D Visual Representations for Robotics" (CVPR'24).
Open Source Impact
Contributions to external projects
No external contributions found.