Language, Computation and Cognition Lab (LaCoCo)
Language, Computation and Cognition Lab (LaCoCo)
Home
People
Publications
Teaching
Joining
Light
Dark
Automatic
Katharina Stein
Latest
On the Ability of Transformers to Verify Plans
Cite
×