Veri-Code

Veri-Code's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

yizhilll 

authored 15 papers 2 days ago

Transforming Science with Large Language Models: A Survey on AI-assisted Scientific Discovery, Experimentation, Content Generation, and Evaluation

Paper • 2502.05151 • Published Feb 7, 2025

DocMMIR: A Framework for Document Multi-modal Information Retrieval

Paper • 2505.19312 • Published May 25, 2025 • 1

Audio Contrastive based Fine-tuning

Paper • 2309.11895 • Published Sep 21, 2023 • 1

OmniVideoBench: Towards Audio-Visual Understanding Evaluation for Omni MLLMs

Paper • 2510.10689 • Published Oct 12, 2025 • 47

From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence

Paper • 2511.18538 • Published Nov 23, 2025 • 303

AutoMV: An Automatic Multi-Agent System for Music Video Generation

Paper • 2512.12196 • Published Dec 13, 2025 • 7

Context as a Tool: Context Management for Long-Horizon SWE-Agents

Paper • 2512.22087 • Published Dec 26, 2025 • 3

Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statements

Paper • 2512.24867 • Published Dec 31, 2025 • 1

Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space

Paper • 2512.24617 • Published Dec 31, 2025 • 66

Large-Scale Terminal Agentic Trajectory Generation from Dockerized Environments

Paper • 2602.01244 • Published Feb 1 • 16

CMI-RewardBench: Evaluating Music Reward Models with Compositional Multimodal Instruction

Paper • 2603.00610 • Published Feb 28 • 35

InCoder-32B: Code Foundation Model for Industrial Scenarios

Paper • 2603.16790 • Published 23 days ago • 307

Dynamics Within Latent Chain-of-Thought: An Empirical Study of Causal Structure

Paper • 2602.08783 • Published Feb 9 • 1

IQuest-Coder-V1 Technical Report

Paper • 2603.16733 • Published 23 days ago • 14

InCoder-32B-Thinking: Industrial Code World Model for Thinking

Paper • 2604.03144 • Published 7 days ago • 155

XuhanH 

authored a paper 6 months ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

Paper • 2510.04204 • Published Oct 5, 2025 • 21

SiniShell1 

in Veri-Code/ReForm-DafnyComp-Benchmark 6 months ago

update DafnyCOMP paper related in readme

#3 opened 6 months ago by

XINLI1997

yizhilll 

authored a paper 8 months ago

TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling

Paper • 2508.17445 • Published Aug 24, 2025 • 80

yizhilll 

updated a collection 9 months ago

Re:Form

Collection

The resources of Re:Form - Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs. • 9 items • Updated Jul 26, 2025 • 2

SiniShell1 

in Veri-Code/ReForm-SFT-0.5B 9 months ago

Improve model card for Re:Form: add metadata, links, and usage example

#1 opened 9 months ago by

nielsr