December 24 |
New paper accepted at AAAI25: "The Gradient of Algebraic Model Counting". |
October 24 |
Our recent work on speeding up arithmetic circuit evaluation on the GPU is on Arxiv. |
June 24 |
"Extracting Finite State Machines from Transformers" was accepted at the Workshop on Mechanistic Interpretability at ICML2024 [paper]. |
May 24 |
"On the Hardness of Probabilistic Neurosymbolic Learning" was accepted at ICML24 [paper][video][code]. |
February 24 |
Attended the AI winter school at Paderborn University. |
December 23 |
I presented my first paper at NeurIPS23: "Soft-Unification in Deep Probabilistic Programming" [paper][video][code].
|
January 23 |
Attended the DeepLearn 2023 Winter school. |
December 20 |
I received a prize from IBM at the NLC2CMD competition at NeurIPS20, for my work on program synthesis with LLMs during a research internship at Bell Labs. |
The preceding merely defines a way of thinking. But the point is to live.
- Albert Camus, Le Mythe de Sisyphe
Last updated: December, 2024.