Anthony W. Lin

University of Kaiserslautern-Landau , Germany; MPI-SWS , Germany

1 paper in the IJCAI proceedings

IJCAI 2026

Synthesis and Verification of Transformer Programs

with Hongjian Jiang, Matthew Hague, Philipp Rümmer

doi:10.24963/ijcai.2026/434

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings