:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xiao, Ruiyu, Wu, Lei, Gou, Yuhang, Zhang, Weinan, Liu, Ting
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2410.22642
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning
par: Huang, Yiming, et autres
Publié: (2024)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
par: Yang, Sen, et autres
Publié: (2023)

Learning to Generate and Extract: A Multi-Agent Collaboration Framework For Zero-shot Document-level Event Arguments Extraction
par: Zhang, Guangjun, et autres
Publié: (2026)

MES-RAG: Bringing Multi-modal, Entity-Storage, and Secure Enhancements to RAG
par: Wu, Pingyu, et autres
Publié: (2025)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, et autres
Publié: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2025)

Bring Your Own Prompts: Use-Case-Specific Bias and Fairness Evaluation for LLMs
par: Bouchard, Dylan
Publié: (2024)

Gradients with Respect to Semantics Preserving Embeddings Tell the Uncertainty of Large Language Models
par: Li, Mingda, et autres
Publié: (2026)

Rationale Behind Essay Scores: Enhancing S-LLM's Multi-Trait Essay Scoring with Rationale Generated by LLMs
par: Chu, SeongYeub, et autres
Publié: (2024)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
par: Liu, Chengwu, et autres
Publié: (2026)

PhysProver: Advancing Automatic Theorem Proving for Physics
par: Zhang, Hanning, et autres
Publié: (2026)

Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation
par: Ben-Naim, Jonathan, et autres
Publié: (2024)

OProver: A Unified Framework for Agentic Formal Theorem Proving
par: Ma, David, et autres
Publié: (2026)

Autoregressive Score Generation for Multi-trait Essay Scoring
par: Do, Heejin, et autres
Publié: (2024)

Aristotle: IMO-level Automated Theorem Proving
par: Achim, Tudor, et autres
Publié: (2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
par: Chen, Luoxin, et autres
Publié: (2025)

EssayJudge: A Multi-Granular Benchmark for Assessing Automated Essay Scoring Capabilities of Multimodal Large Language Models
par: Su, Jiamin, et autres
Publié: (2025)

Emotional Support with LLM-based Empathetic Dialogue Generation
par: Wang, Shiquan, et autres
Publié: (2025)

Are Your LLMs Capable of Stable Reasoning?
par: Liu, Junnan, et autres
Publié: (2024)

R-Debater: Retrieval-Augmented Debate Generation through Argumentative Memory
par: Li, Maoyuan, et autres
Publié: (2025)

Survey of Specialized Large Language Model
par: Yang, Chenghan, et autres
Publié: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
par: Zheng, Chuanyang, et autres
Publié: (2023)

QUILL: Quotation Generation Enhancement of Large Language Models
par: Xiao, Jin, et autres
Publié: (2024)

Hey AI Can You Grade My Essay?: Automatic Essay Grading
par: Maliha, Maisha, et autres
Publié: (2024)

Automatic Essay Scoring and Feedback Generation in Basque Language Learning
par: Azurmendi, Ekhi, et autres
Publié: (2025)

Human-AI Collaborative Essay Scoring: A Dual-Process Framework with LLMs
par: Xiao, Changrong, et autres
Publié: (2024)

FinGen: A Dataset for Argument Generation in Finance
par: Chen, Chung-Chi, et autres
Publié: (2024)

Bring Your Own KG: Self-Supervised Program Synthesis for Zero-Shot KGQA
par: Agarwal, Dhruv, et autres
Publié: (2023)

EssayBench: Evaluating Large Language Models in Multi-Genre Chinese Essay Writing
par: Gao, Fan, et autres
Publié: (2025)

On-the-fly Preference Alignment via Principle-Guided Decoding
par: Zhu, Mingye, et autres
Publié: (2025)

Retrieval Augmented Fact Verification by Synthesizing Contrastive Arguments
par: Yue, Zhenrui, et autres
Publié: (2024)

Clip Your Sequences Fairly: Enforcing Length Fairness for Sequence-Level RL
par: Mao, Hanyi, et autres
Publié: (2025)

Hidding the Ghostwriters: An Adversarial Evaluation of AI-Generated Student Essay Detection
par: Peng, Xinlin, et autres
Publié: (2024)

Your Agent May Misevolve: Emergent Risks in Self-evolving LLM Agents
par: Shao, Shuai, et autres
Publié: (2025)

End-to-End Argument Mining through Autoregressive Argumentative Structure Prediction
par: Das, Nilmadhab, et autres
Publié: (2025)

Evaluating Austrian A-Level German Essays with Large Language Models for Automated Essay Scoring
par: Kubesch, Jonas, et autres
Publié: (2026)

From Retrieval to Generation: Unifying External and Parametric Knowledge for Medical Question Answering
par: Li, Lei, et autres
Publié: (2025)

RLMEval: Evaluating Research-Level Neural Theorem Proving
par: Poiroux, Auguste, et autres
Publié: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
par: Zhang, Ziyin, et autres
Publié: (2025)

Towards Prompt Generalization: Grammar-aware Cross-Prompt Automated Essay Scoring
par: Do, Heejin, et autres
Publié: (2025)