This repo contains the resources for the paper "From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning." In this work, we take mathematical reasoning as a ...
A group of middle school girls is puzzling over a pie chart about reading habits in the U.S. Their “math designer” stands at the front of the room, encouraging students to share what they “notice and ...
Anti-Degeneracy Scheme for Lidar SLAM Based on Particle Filter in Geometry Feature-Less Environments
Abstract: Simultaneous localization and mapping (SLAM) based on particle filtering has been extensively employedin indoor scenarios due to its high efficiency. However, in geometry feature-less scenes ...
A group of middle school girls is puzzling over a pie chart about reading habits in the US. Their “math designer” stands at the front of the room, encouraging students to share what they “notice and ...
STATEN ISLAND, N.Y. — Gov. Kathy Hochul on Wednesday announced she would sign into law the Medical Aid in Dying Act after coming to an agreement with the state Legislature on additional safety ...
Wrapping awkwardly shaped Christmas presents is always a headache, but here's the formula for perfect gift wrap. You've carefully chosen the presents. You have scissors, tape and even some rolls of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback