Image de couverture de livre

Learning Task Decomposition to Assist Humans in Competitive Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wen, Jiaxin, Zhong, Ruiqi, Ke, Pei, Shao, Zhihong, Wang, Hongning, Huang, Minlie
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Language Model Decoding as Direct Metrics Optimization
par: Ji, Haozhe, et autres
Publié: (2023)

Unlocking Reasoning Potential in Large Langauge Models by Scaling Code-form Planning
par: Wen, Jiaxin, et autres
Publié: (2024)

Defending Large Language Models Against Jailbreaking Attacks Through Goal Prioritization
par: Zhang, Zhexin, et autres
Publié: (2023)

Language Models Learn to Mislead Humans via RLHF
par: Wen, Jiaxin, et autres
Publié: (2024)

IF-RewardBench: Benchmarking Judge Models for Instruction-Following Evaluation
par: Wen, Bosi, et autres
Publié: (2026)

HPSS: Heuristic Prompting Strategy Search for LLM Evaluators
par: Wen, Bosi, et autres
Publié: (2025)

IF-CRITIC: Towards a Fine-Grained LLM Critic for Instruction-Following Evaluation
par: Wen, Bosi, et autres
Publié: (2025)

Towards Efficient Exact Optimization of Language Model Alignment
par: Ji, Haozhe, et autres
Publié: (2024)

Black-Box Prompt Optimization: Aligning Large Language Models without Model Training
par: Cheng, Jiale, et autres
Publié: (2023)

AMOR: A Recipe for Building Adaptable Modular Knowledge Agents Through Process Feedback
par: Guan, Jian, et autres
Publié: (2024)

RLAR: An Agentic Reward System for Multi-task Reinforcement Learning on Large Language Models
par: Feng, Andrew Zhuoer, et autres
Publié: (2026)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)

AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)

From Theft to Bomb-Making: The Ripple Effect of Unlearning in Defending Against Jailbreak Attacks
par: Zhang, Zhexin, et autres
Publié: (2024)

Think Socially via Cognitive Reasoning
par: Zhou, Jinfeng, et autres
Publié: (2025)

ShieldLM: Empowering LLMs as Aligned, Customizable and Explainable Safety Detectors
par: Zhang, Zhexin, et autres
Publié: (2024)

Benchmarking Complex Instruction-Following with Multiple Constraints Composition
par: Wen, Bosi, et autres
Publié: (2024)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
par: Dong, Shouyang, et autres
Publié: (2025)

Neural Task Synthesis for Visual Programming
par: Pădurean, Victor-Alexandru, et autres
Publié: (2023)

Data Selection via Optimal Control for Language Models
par: Gu, Yuxian, et autres
Publié: (2024)

Agent-SafetyBench: Evaluating the Safety of LLM Agents
par: Zhang, Zhexin, et autres
Publié: (2024)

Be Careful When Fine-tuning On Open-Source LLMs: Your Fine-tuning Data Could Be Secretly Stolen!
par: Zhang, Zhexin, et autres
Publié: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

HoWToBench: Holistic Evaluation for LLM's Capability in Human-level Writing using Tree of Writing
par: Feng, Andrew Zhuoer, et autres
Publié: (2026)

Hear Your Code Fail, Voice-Assisted Debugging for Python
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)

CritiqueLLM: Towards an Informative Critique Generation Model for Evaluation of Large Language Model Generation
par: Ke, Pei, et autres
Publié: (2023)

AutoDetect: Towards a Unified Framework for Automated Weakness Detection in Large Language Models
par: Cheng, Jiale, et autres
Publié: (2024)

ChatGLM-RLHF: Practices of Aligning Large Language Models with Human Feedback
par: Hou, Zhenyu, et autres
Publié: (2024)

Constrained Code Generation with Discrete Diffusion
par: Shao, Lize, et autres
Publié: (2026)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
par: Wiemerslage, Adam, et autres
Publié: (2020)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
par: Ma, Zhiyao, et autres
Publié: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
par: Shen, Chen, et autres
Publié: (2026)

When Smiley Turns Hostile: Interpreting How Emojis Trigger LLMs' Toxicity
par: Cui, Shiyao, et autres
Publié: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

CharacterBench: Benchmarking Character Customization of Large Language Models
par: Zhou, Jinfeng, et autres
Publié: (2024)

On the Duality of Task and Actor Programming Models
par: Yadav, Rohan, et autres
Publié: (2025)

AutoPRM: Automating Procedural Supervision for Multi-Step Reasoning via Controllable Question Decomposition
par: Chen, Zhaorun, et autres
Publié: (2024)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)