Page 3 of 192

AllHigh signalRecent
7679 articles
arXiv cs.CL·

Harsher on Male? Evaluating LLMs on Gender-Asymmetric Moral Framing Across Diverse Conflict Scenarios

GAMA-Bench, a benchmark of 1,298 paired scenarios, reveals systematic asymmetry: LLMs apply harsher response standards to male actors than female actors for identical misconduct. Male actors receive more punitive and blame-centered framing, while female actors receive therapeutic and empathy-oriented responses. The pattern persists across 10 models and all scenario types.

EvalsAI safetyAlignment
SIG
82
HYP
15
Reddit r/LocalLLaMA·

Open sourcing InfiniteKV: a KV cache that files old tokens as 104-byte searchable records in RAM or on disk instead of deleting them. Mistral-7B answered from token 76,747, 2.3x past its trained window. Colab demo

InfiniteKV compresses KV cache into 104-byte searchable records stored in RAM or disk instead of deleting old tokens. Mistral-7B correctly answers at token 76,747 (2.3× its 32,768 training window). One million tokens requires ~3 GB instead of 122 GB.

Open sourceInfrastructureLlama
SIG
82
HYP
25
arXiv cs.CL·

LEDGER: A Long-Context Benchmark of Corporate Annual Reports for Grounded Financial Retrieval and Extraction

LEDGER is a benchmark of 4,999 digitized corporate annual reports to evaluate LLM long-context capabilities in finance. The corpus includes 31 consolidated financial KPIs, 118,048 TREC-style retrieval questions, and extraction tasks on numerically dense documents. Case study: correlation between CEO rhetoric and post-publication market impact.

BenchmarksRAGReasoning
SIG
82
HYP
15
arXiv cs.AI·

Arbor: Tree Search as a Cognition Layer for Autonomous Agents

Arbor is a multi-agent framework introducing tree search as a cognition layer for autonomous agents. Validated on full-stack LLM inference optimization, it pairs an Orchestrator agent with a Critic agent in a checks-and-balances architecture. Arbor achieves 193% throughput-latency Pareto improvement over vendor-optimized baselines, versus 33% for a single agent that crashes within hours.

AI AgentsMulti-agentReasoning
SIG
82
HYP
25
arXiv cs.AI·

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Pythagoras-Prover is an open-source family of efficient Lean theorem provers (4B and 32B parameters, including a diffusion-based prototype). Via curriculum SFT and Augmented Lean Formalisation (ALF), the 4B model outperforms DeepSeek-Prover-V2-671B on MiniF2F-Test (86.1% vs 82.4%) with 167x fewer parameters. The 32B achieves 93.0% on MiniF2F-Test and solves 93/672 PutnamBench problems.

ReasoningCode generationBenchmarks
SIG
82
HYP
25
arXiv cs.AI·

INFRAMIND: Infrastructure-Aware Multi-Agent Orchestration

INFRAMIND is a framework for multi-agent orchestration that integrates real-time infrastructure state (GPU queue depths, KV-cache pressure, latencies). Via adaptive planning, per-step routing, and intelligent scheduling, it optimizes model selection and topologies under concurrent load. Results: +7.6pp accuracy gain at low load, 7x lower latency, 99.9% SLO compliance under high load.

Multi-agentAI AgentsReinforcement learning
SIG
82
HYP
25
arXiv cs.LG·

ProHiFlo: Hierarchical Flow Matching with Functional Guidance for De Novo Protein Generation

ProHiFlo is a hierarchical flow matching framework for de novo protein generation. It combines coarse-to-fine generation (backbone then atoms), functional guidance via pretrained predictors, and SE(3)-equivariant architecture. On enzyme active site scaffolding, ProHiFlo achieves 58.9% success rate vs 41.2% for RFDiffusion, with 4× fewer sampling steps.

PapersBenchmarksReasoning
SIG
82
HYP
18
Reddit r/LocalLLaMA·

FlashMemory-DeepSeek-V4: Lightning Index Ultra-Long Context via Lookahead Sparse Attention

FlashMemory-DeepSeek-V4 introduces Lookahead Sparse Attention (LSA), an inference paradigm reducing KV cache footprint to 13.5% of baseline on ultra-long contexts (500K tokens). A Neural Memory Indexer predicts future context demands and preserves only query-critical chunks in GPU memory, without loading the full backbone model. Results: +0.6% average accuracy on LongBench-v2, LongMemEval, RULER.

DeepSeekReasoningBenchmarks
SIG
82
HYP
25
arXiv cs.AI·

ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics

ComBench is a benchmark of 100 Olympiad-level combinatorics problems to evaluate LLM mathematical reasoning. It distinguishes analysis-centric problems (rigorous proofs) from construction-centric problems (explicit constructions). Top models reach 65.4% average and 75.3% Best@4. Kimi-K2.6 outperforms GPT-4o on constructions but trails on proof grading.

BenchmarksReasoningEvals
SIG
82
HYP
15
arXiv cs.LG·

Offline Reinforcement Learning for Plasma Control in Nuclear Fusion: Codebase and Benchmark

RL4F is an open-source offline reinforcement learning benchmark for plasma control in nuclear fusion. Built on historical data from the DIII-D tokamak, it evaluates imitation learning and offline RL methods on four multi-actuator tracking tasks (rotation, density, temperature, pressure). Offline model-based RL methods achieve best average performance.

Reinforcement learningBenchmarksOpen source
SIG
82
HYP
15
arXiv cs.CL·

HKJudge: A Legal Discourse-Annotated Corpus for Interpreting What Courts Find, How They Reason, and What They Rule

HKJudge is the first sentence-level expert-annotated legal discourse corpus. It contains ~290k sentences and ~6.5M tokens from Hong Kong criminal judgments across all court levels, annotated by legal linguistics experts. Two benchmark tasks: rhetorical role classification (26 categories) and legal element extraction. Evaluation on BERT models, open-source and commercial LLMs.

BenchmarksPapersFine-tuning
SIG
82
HYP
15
arXiv cs.CL·

Improving Cross-Lingual Factual Recall via Consistency-Driven Reinforcement Learning

PolyFact, a 100K multilingual factual QA dataset grounded in Wikidata across 12 languages, evaluates three approaches to improve cross-lingual factual consistency in Qwen-2.5-7B and OLMo-2-1124-7B. GRPO outperforms supervised fine-tuning by reducing language specialization in MLP layers and attention heads, promoting shared cross-lingual representations.

BenchmarksReinforcement learningQwen
SIG
82
HYP
18
arXiv cs.AI·

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

LeanMarathon is a multi-agent system for reliable research-level autoformalization in Lean. It uses an evolving blueprint (Lean file serving as proof skeleton, natural-language proof graph, and shared record) coordinated by four specialized agents. On two recent papers spanning four Erdős problems, it formalizes seven target theorems with no sorry and proves 258 lemmas.

ReasoningAI AgentsMulti-agent
SIG
82
HYP
18
Reddit r/MachineLearning·

TinyTPU: SystemVerilog systolic array compiled to WASM, running live in browser - RTL golden-verified against numpy [P]

TinyTPU is a 4×4 weight-stationary systolic array in SystemVerilog compiled to WebAssembly with step-by-step browser visualization. Users enter two matrices and watch actual hardware execution: weights loading into processing elements, matrix A streaming diagonally, partial sums accumulating, results draining. Three levels: single MAC cell, full 4×4 array matmul, and tiling for larger matrices.

InfrastructureBenchmarksOpen source
SIG
82
HYP
15
arXiv cs.LG·

Alpha-RTL: Test-Time Training for RTL Hardware Optimization

Alpha-RTL introduces TTT-RTL, a test-time reinforcement learning framework for LLM-based RTL generation optimization. On RTLLM v2.0 (Nangate 45nm), TTT-RTL reduces PPA product by 65.1% versus reference and outperforms frozen-policy baselines by 26.1%. On XuanTie C910 FPU (Sky130), achieves 59.4% ADP reduction. Adaptive KL-budget controller stabilizes policy updates.

Code generationReinforcement learningBenchmarks
SIG
82
HYP
18
arXiv cs.CL·

LANTERN: Layered Archival and Temporal Episodic Retrieval Network for Long-Context LLM Conversations

LANTERN is a lightweight memory layer that archives every conversation turn and restores relevant details after compaction via hybrid retrieval, requiring zero LLM calls and adding <25ms latency per turn. On 94 multi-turn conversations (1,894 validated facts), LANTERN-Rerank recovers 78.3% of lost facts, significantly outperforming MemGPT (72.4%, p<0.0001) at a fraction of inference cost.

RAGReasoningBenchmarks
SIG
82
HYP
18
arXiv cs.LG·

Policy-Conditioned Counterfactual Credit for Verifiable Reinforcement Learning of Long-Horizon Language Agents

CVT-RL, a policy-gradient algorithm with dense verifiable rewards, improves long-horizon language agent RL. On QA, ALFWorld, ScienceWorld, and web/tool tasks, task success rises from 71.8% (non-causal RL) to 78.9%, evidence F1 from 78.9 to 82.8, and measured hacking from 7.2% to 3.9%. Statistical tests yield p<0.01 after Holm correction.

Reinforcement learningAI AgentsReasoning
SIG
82
HYP
15