Summary of Hunyuanprover: a Scalable Data Synthesis Framework and Guided Tree Search For Automated Theorem Proving, by Yang Li et al.
HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Provingby Yang…
Summary of Gui Testing Arena: a Unified Benchmark For Advancing Autonomous Gui Testing Agent, by Kangjia Zhao et al.
GUI Testing Arena: A Unified Benchmark for Advancing Autonomous GUI Testing Agentby Kangjia Zhao, Jiahui…
Summary of Contrato360 2.0: a Document and Database-driven Question-answer System Using Large Language Models and Agents, by Antony Seabra et al.
Contrato360 2.0: A Document and Database-Driven Question-Answer System using Large Language Models and Agentsby Antony…
Summary of Autodroid-v2: Boosting Slm-based Gui Agents Via Code Generation, by Hao Wen et al.
AutoDroid-V2: Boosting SLM-based GUI Agents via Code Generationby Hao Wen, Shizuo Tian, Borislav Pavlov, Wenjie…
Summary of Inductive Linguistic Reasoning with Large Language Models, by Raghav Ramji et al.
Inductive Linguistic Reasoning with Large Language Modelsby Raghav Ramji, Keshav RamjiFirst submitted to arxiv on:…
Summary of Resource-aware Arabic Llm Creation: Model Adaptation, Integration, and Multi-domain Testing, by Prakash Aryan
Resource-Aware Arabic LLM Creation: Model Adaptation, Integration, and Multi-Domain Testingby Prakash AryanFirst submitted to arxiv…
Summary of An Exploration Of Pattern Mining with Chatgpt, by Michael Weiss
An Exploration of Pattern Mining with ChatGPTby Michael WeissFirst submitted to arxiv on: 22 Dec…
Summary of Psychadapter: Adapting Llm Transformers to Reflect Traits, Personality and Mental Health, by Huy Vu et al.
PsychAdapter: Adapting LLM Transformers to Reflect Traits, Personality and Mental Healthby Huy Vu, Huy Anh…
Summary of Demystifying the Potential Of Chatgpt-4 Vision For Construction Progress Monitoring, by Ahmet Bahaddin Ersoz
Demystifying the Potential of ChatGPT-4 Vision for Construction Progress Monitoringby Ahmet Bahaddin ErsozFirst submitted to…
Summary of Metascientist: a Human-ai Synergistic Framework For Automated Mechanical Metamaterial Design, by Jingyuan Qi et al.
MetaScientist: A Human-AI Synergistic Framework for Automated Mechanical Metamaterial Designby Jingyuan Qi, Zian Jia, Minqian…