norgitov/ trends
Technology · people · ideas
RSS
RUEN
Back to discovery/arXiv51 minutes ago
ResearcharXiv

Sage: Formalization with Semantic Correction

Sage is a framework designed to improve the formalization of mathematical statements by using a four-stage generation pipeline and a semantic correction loop, which enhances the accuracy of translating natural language into formal language. It significantly reduces answer leakage and outperforms existing models on benchmark tasks.

Open original
SIGNAL FROM THE SOURCE
30
September 2026
Tracking sinceSeptember 30, 2026
Momentum—More observations needed
Discussion—No comment count provided
PublishedSeptember 30, 2026Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wengping Deng, Liang Zhang
BEHIND THE NUMBERS

How interest changes

arXiv

The publication is the signal

This official source does not publish popularity metrics. The story is refreshed from its RSS feed.

Real observations only. History before source connection is not reconstructed.

WHY IT MAY MATTER

Sage addresses the challenge of accurately translating informal mathematical descriptions into formal language by using a structured pipeline and semantic feedback, which improves the reliability of theorem proving systems.

A useful discovery?
KEEP EXPLORING

Connected ideas

Explore topic
Daily Papers

VisionHOPE: Visual Backbones as Self-Modifying Learning Systems

The paper introduces VisionHOPE, a novel visual backbone that functions as a self-modifying learning system, allowing the model to co-evolve what it remembers and how it learns within an image. It uses five coupled memories and a stability-matched step-size control scheme to ensure stable learning dynamics, achieving competitive results on benchmark datasets like ImageNet-1K, COCO, and ADE20K.

3 days agoDaily Papers

Your Transformer Can Hold Two Thoughts at Once: Evidence of Linear Superposition in LLMs

The paper explores the linearity in Large Language Models (LLMs) by showing that combining inputs from different text streams leads to a superposition of next-token distributions. It suggests that this linearity is an inherent property of the Transformer architecture and can be restored through fine-tuning, allowing for generating two coherent continuations from one forward pass.

6 days agoDaily Papers

FuseReg: Regularizing Layer Fusion Mitigates the Reconstruction-Generation Gap in Representation Autoencoders

This paper introduces FuseReg, a method that replaces heuristic layer fusion in representation autoencoders (RAEs) with training over random subsets of encoder layers. The approach reduces the reconstruction-generation gap by improving robustness to layer fusion choices, achieving higher PSNR and lower generation FID scores without modifying the pretrained encoder.

5 days agoDaily Papers

Groupwise Agentic Grading and Advantage Redistribution for Code Agent RL

The paper introduces GAGAR, a framework for quality-aware credit redistribution in code agent reinforcement learning (RL). It uses dynamic sampling and an SFT-trained agentic grader to rank test-passing trajectories, adjusting advantages to prioritize higher-quality implementations. The method was evaluated on large-scale industrial code agents with significant parameter counts.

4 days agoDaily Papers

SentZero: An Enhanced Sentence-Centric Vision-Language Pretraining for Multi-Task Zero-Shot Chest X-Ray Analysis

This paper introduces SentZero, a sentence-centric vision-language pretraining framework designed for zero-shot multi-task analysis of chest X-rays. It enhances positive-pair diversity and mitigates false negatives through LLM-based sentence structuring and visual embedding modulation.

2 days agoDaily Papers

Learning to Learn from Context: Synthetic Training from Perturbed Public Documents

This paper introduces a method to enhance large language models' (LLMs) ability to learn from context by using perturbed public documents. The approach involves rewriting documents, generating reasoning-based questions, and training a student model on these synthetic samples, leading to improved performance on CL-bench and broader transfer to tasks like long-context understanding and reasoning.

3 days ago