Ata uhi

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Ngā kaituhi matua: Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj
Hōputu: Preprint
I whakaputaina: 2025
Ngā marau:
Human-Computer Interaction
Logic in Computer Science
Urunga tuihono:https://arxiv.org/abs/2506.08294
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ipurangi

https://arxiv.org/abs/2506.08294

Ngā tūemi rite