I will be at NeurIPS 2022 to present my paper "Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis".
I am the lead developer of AlphaZero.jl:
- The philosophy of this project is to provide an implementation of AlphaZero that is simple enough to be widely accessible for students and researchers, while also being sufficiently powerful and fast to enable meaningful experiments on limited computing resources.
- AlphaZero.jl gathered 1200 stars on Github and received two rounds of funding from the Google Summer of Code program.
I am also actively developing and maintaining the following programs for the Kappa simulation platform:
- KaTie: a domain-specific language for analyzing Kappa simulation traces.
- Kappa Counterfactual Resimulator: a library to sample counterfactual traces in Kappa.
- KaFlow: a program to generate causal summaries of Kappa traces.
I enjoy meeting new people and talking about research. In particular, if you are a potential collaborator or a student interested in a research project, do not hesitate to send me an email.
- Address: Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany
- Office: Building 50.34, Room 158
- ORCID ID: