Gehr, Timon

1. Modular Synthesis of Efficient Quantum Uncomputation
   2024/06/20 by Venev, Hristo, Gehr, Timon, Dimitrov, Dimitar +1 · 2 citations
   #D.3.1 #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
   2024/10/03 by Ünsal, Mert, Gehr, Timon, Vechev, Martin · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)