Leopold Haller
Identifiers
No identifiers captured yet.
Papers (3)
- Lattice Deduction Transformers cs.LG · 2026 · author #2
- ABC implies that Ramanujan's tau function misses almost all primes math.NT · 2026 · author #6
- Lifting CDCL to Template-based Abstract Domains for Program Verification cs.LO · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Alberto Alfarano 1 shared papers
- Alex Schneidman 1 shared papers
- Andranik Kurghinyan 1 shared papers
- Aram H. Markosyan 1 shared papers
- Ben Eltschig 1 shared papers
- Chris Cummins 1 shared papers
- Daniel Kroening 1 shared papers
- David Kurniadi Angdinata 1 shared papers
- Dejan Grubisic 1 shared papers
- Evan Chen 1 shared papers
- Gaurang Pendharkar 1 shared papers
- Hugh Leather 1 shared papers
- Ishan Sinha 1 shared papers
- Jimmy Xin 1 shared papers
- Jujian Zhang 1 shared papers
- Kenny Lau 1 shared papers
- Ken Ono 1 shared papers
- Letong Hong 1 shared papers
- Liam Davis 1 shared papers
- Manooshree Patel 1 shared papers