From e761719952ad310354ba03f8e68d88d62c813683 Mon Sep 17 00:00:00 2001 From: Chansung Date: Thu, 2 Jan 2025 20:14:38 +0000 Subject: [PATCH] Automated report --- ...Guided Tree Search for Automated Theorem Proving.yaml | 9 +++++++++ ...ajectory Construction via Reverse Task Synthesis.yaml | 9 +++++++++ current/2025-01-02 Xmodel-2 Technical Report.yaml | 9 +++++++++ 3 files changed, 27 insertions(+) create mode 100644 current/2025-01-02 HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.yaml create mode 100644 current/2025-01-02 OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis.yaml create mode 100644 current/2025-01-02 Xmodel-2 Technical Report.yaml diff --git a/current/2025-01-02 HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.yaml b/current/2025-01-02 HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.yaml new file mode 100644 index 00000000..4085af56 --- /dev/null +++ b/current/2025-01-02 HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving.yaml @@ -0,0 +1,9 @@ +date: "2025-01-02" +author: Yang Li +title: 'HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving' +thumbnail: "" +link: https://huggingface.co/papers/2412.20735 +summary: HunyuanProver is a language model that helps computers solve math problems by generating more data and using smart search algorithms. It's really good at this and can solve problems that other computers can't. The creators will share their data with others to help more people learn and solve math problems.... +opinion: placeholder +tags: + - ML diff --git a/current/2025-01-02 OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis.yaml b/current/2025-01-02 OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis.yaml new file mode 100644 index 00000000..fb205094 --- /dev/null +++ b/current/2025-01-02 OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis.yaml @@ -0,0 +1,9 @@ +date: "2025-01-02" +author: Qiushi Sun +title: 'OS-Genesis: Automating GUI Agent Trajectory Construction via Reverse Task Synthesis' +thumbnail: "" +link: https://huggingface.co/papers/2412.19723 +summary: OS-Genesis is a new way to make data for training GUI agents. It lets the agents explore and interact with the environment first, then figures out what tasks they were doing. This helps make better and more diverse data, which makes the agents perform better on challenging tasks.... +opinion: placeholder +tags: + - ML diff --git a/current/2025-01-02 Xmodel-2 Technical Report.yaml b/current/2025-01-02 Xmodel-2 Technical Report.yaml new file mode 100644 index 00000000..55a802fb --- /dev/null +++ b/current/2025-01-02 Xmodel-2 Technical Report.yaml @@ -0,0 +1,9 @@ +date: "2025-01-02" +author: Wang Qun +title: Xmodel-2 Technical Report +thumbnail: "" +link: https://huggingface.co/papers/2412.19638 +summary: Xmodel-2 is a large language model designed for reasoning tasks, with a unified set of hyperparameters for different scales and WSD learning rate scheduler for efficient training. It achieves state-of-the-art performance on complex tasks and is available on GitHub.... +opinion: placeholder +tags: + - ML