RTL repair benchmarks should measure whether a model can fix broken RTL given a specification. To this end, we construct and hash-bind RTLRepairDataset, 5,784 (broken, fixed) training pairs; RTLRepairBench, 459 held-out cases with 374 syntactic and 85 behavioral mutations; and an evaluation harness supporting simulatio...
Experiments on vision-language benchmarks show that CoRAL significantly outperforms prior diffusion-based methods and achieves competitive performance against strong ARMs, achieving both superior efficiency and quality.
Wei Cai, Jian Zhao, Yu-Chen Yuan et al.· 0 citations
In this report, we introduce Sage-A1.5, a 35B Mixture-of-Experts agentic model that builds on A1 to advance long-horizon problem solving through adaptive capability composition. Compared with A1, Sage-A1.5 learns not only to solve individual tasks, but also to organize work and revise its approach during execution. Sag...
Wenjie Lou, Tian-Shuo Peng, Shi-Yang Feng et al.· 0 citations
Generative retrieval (GR) casts search and recommendation as autoregressive generation of discrete semantic identifiers (SIDs). SID design largely determines GR quality, but its discrete, interdependent components (SID construction, collision handling, decoding, and training) cannot be optimized end-to-end with gradien...
Jinming Nian, Jyun-Yu Jiang, Henry Tsai et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Many scientific phenomena are best understood as outcomes of underlying optimization problems, yet automated scientific discovery has largely focused on recovering equations that describe observed input-output patterns. We introduce OptScientist, a novel automated framework for discovering compact symbolic optimization...
Visual anomaly detection aims to detect abnormal objects, while anomaly samples are often scarce during model training. Assembling multiple pretrained detectors can help by leveraging their transferable image scores and anomaly maps. However, most existing ensemble methods apply fixed fusion rules over saved prediction...
Shangquan Sun, Wenjun Luo, Xu He et al.· 0 citations
Findings support debate as a viable path toward scalable human oversight, but cast doubt on its benefits for weaker AI supervisors, raising concerns about fully automated training and control pipelines in high-stakes settings.
María Victoria Carro, Denise Alejandra Mester, Facundo Nieto et al.· 0 citations
Post-training quantization (PTQ) compresses the weights of a trained model with limited compute and data. Down to 4 bits it is near-lossless, but at 2 bits scalar PTQ configurations fall to chance-level accuracy. We study three choices usually treated as implementation details that matter little at 4 bits but decide 2-...
Rhea Sanjay Sukthanker, Riccardo Grazzi, James Hensman et al.· 0 citations
This work introduces DecisionPivot, a diagnostic benchmark comprising 48 tasks and 40,033 items across seven decision roles that provides fine-grained diagnostics of decision failures that aggregate evaluation alone cannot reveal, and evaluates 40 decision models and 14 general models using documented, model-specific p...
Xia-Lie Zhuang, Ming-Cong Lei, Zun-Hai Su et al.· 1 citation
Proof-Carrying Contracts (PC2) is introduced, a framework for making agreed constraints enforceable throughout an agent's interactions with a system and provides a foundation for an agent economy whose agreements protect both those delegating work and those carrying it out.
C. Ciliberto, Alessandro Rudi, E. Tassi· 0 citations
Learning latent dynamics is fundamental to building action-conditioned world models for planning. Among existing families, Joint Embedding Predictive Architectures (JEPAs) offer a natural framework by modeling transitions directly in latent space rather than at the pixel level. However, two issues remain in JEPA-based...
It is argued that information decomposition can serve as a unifying formal framework to operationalize assessments about synergy in AI systems, and gives claims of emergence a precise, falsifiable criterion.