activity
20232026
most citedX-TIME: An in-memory engine for accelerating machine learning on tabular data with CAMs

9 citations · 9 across the 6 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2026

Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification

Yuxin Zi, Cong Xu, Suparna Bhattacharya +2

While tool-augmented Large Language Models have significantly improved multi-step reasoning in quantitative STEM tasks, a critical residual failure mode remains: intermediate reaso…