I attended AITP 2024 in Aussois, France 🇫🇷, and gave a talk on the Abduction Prover for Isabelle.
In my talk, I conveyed three key points:
1️⃣ Lemma abduction using modus ponens
2️⃣ Tactics as conjecture
3️⃣ Transition from tree search to graph expansion
You can find the slides here: https://drive.google.com/file/d/1a_668KQODrTsEyAEUiyoORKO_NZTMdDu/view?usp=sharing
At AITP, I learned that a new user group in the USA 🇺🇸 has adopted the TIP benchmark for their deep learning project. Congratulations to Prof. Moa Johansson and the TIP maintenance team in Sweden 🇸🇪 for extending the TIP user groups! 🥳
This event marked the end of my busy summer, during which I traveled from Cambridge 🇬🇧 to Tokyo 🇯🇵, Singapore 🇸🇬, Nancy 🇫🇷, Kutaisi 🇬🇪, Prague 🇨🇿, Bonn 🇩🇪, and Aussois 🇫🇷. 😮💨
Now I can finally concentrate on my research. 😎
In my talk, I conveyed three key points:
1️⃣ Lemma abduction using modus ponens
2️⃣ Tactics as conjecture
3️⃣ Transition from tree search to graph expansion
You can find the slides here: https://drive.google.com/file/d/1a_668KQODrTsEyAEUiyoORKO_NZTMdDu/view?usp=sharing
At AITP, I learned that a new user group in the USA 🇺🇸 has adopted the TIP benchmark for their deep learning project. Congratulations to Prof. Moa Johansson and the TIP maintenance team in Sweden 🇸🇪 for extending the TIP user groups! 🥳
This event marked the end of my busy summer, during which I traveled from Cambridge 🇬🇧 to Tokyo 🇯🇵, Singapore 🇸🇬, Nancy 🇫🇷, Kutaisi 🇬🇪, Prague 🇨🇿, Bonn 🇩🇪, and Aussois 🇫🇷. 😮💨
Now I can finally concentrate on my research. 😎