Computer Science, Logic in Computer Science Agent-Based Synthesis of Coq Proofs: A Graph-Based Approach January 5, 2024
Computation and Language, Computer Science Automatic Generation of Toxic and Non-Toxic Sentences with Lexical and Templates November 30, 2023