Summary of Atg: Benchmarking Automated Theorem Generation For Generative Language Models, by Xiaohan Lin et al.
ATG: Benchmarking Automated Theorem Generation for Generative Language Modelsby Xiaohan Lin, Qingxing Cao, Yinya Huang,…
ATG: Benchmarking Automated Theorem Generation for Generative Language Modelsby Xiaohan Lin, Qingxing Cao, Yinya Huang,…
Self-Reflection in LLM Agents: Effects on Problem-Solving Performanceby Matthew Renze, Erhan GuvenFirst submitted to arxiv…
Leveraging Lecture Content for Improved Feedback: Explorations with GPT-4 and Retrieval Augmented Generationby Sven Jacobs,…
Word2World: Generating Stories and Worlds through Large Language Modelsby Muhammad U. Nasir, Steven James, Julian…
SUTRA: Scalable Multilingual Language Model Architectureby Abhijit Bendale, Michael Sapienza, Steven Ripplinger, Simon Gibbs, Jaewon…
Utilizing Large Language Models to Generate Synthetic Data to Increase the Performance of BERT-Based Neural…
Multi-level Shared Knowledge Guided Learning for Knowledge Graph Completionby Yongxue Shan, Jie Zhou, Jie Peng,…
Automated Conversion of Static to Dynamic Scheduler via Natural Languageby Paul Mingzheng Tang, Kenji Kah…
ChatSOS: Vector Database Augmented Generative Question Answering Assistant in Safety Engineeringby Haiyang Tang, Dongping Chen,…
Lightweight Spatial Modeling for Combinatorial Information Extraction From Documentsby Yanfei Dong, Lambert Deng, Jiazheng Zhang,…