Pith. sign in

Title resolution pending

10 Pith papers cite this work. Polarity classification is still indexing.

10 Pith papers citing it

years

2026 10

representative citing papers

Autoformalizing Memory Specifications with Agents

cs.AR · 2026-04-30 · unverdicted · novelty 6.0

An agent system autoformalizes industry DRAM specifications into DRAMPyML for verification tasks like assertion generation, with DRAMBench dataset released for benchmarking.

UserGPT Technical Report

cs.IR · 2026-05-09 · unverdicted · novelty 5.0

UserGPT introduces a generative LLM framework with a behavior simulation engine, semantization module, and DF-GRPO post-training that scores 0.7325 on tag prediction and 0.7528 on summary generation on HPR-Bench while compressing records by up to 97.9%.

Towards Recursive Self-Evolving Agentic Literature Retrieval

cs.IR · 2026-05-14 · unverdicted · novelty 4.0

PaSaMaster, a recursive self-evolving agentic literature retrieval system, reports 16.5× higher F1 than Google Scholar and 37.8% higher F1 than GPT-5.2 on PaSaMaster-Bench across 38 disciplines with zero source hallucination at ~1% cost.

citing papers explorer

Showing 10 of 10 citing papers.