Brigitte Pientka

1. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract\n Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
   2015/03/20 by Amy Felty, Alberto Momigliano, Felty, Amy P. +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques
2. Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
   2023/04/29 by Chuqin Geng, Geng, Chuqin, Yihan Zhang +5 · 1 citation
   Computer Science · Medicine · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Healthcare and Education #Computers and Society (cs.CY) #FOS: Computer and information sciences #Online Learning and Analytics