GaloisSAT: Hybrid GPU-CPU Boolean SAT Solver Breakthrough
Discover GaloisSAT, a hybrid GPU-CPU SAT solver using differentiable programming for faster Boolean satisfiability solving and improved performance.
StepCache: Efficient Step-Level Reuse for Faster LLM Serving
Discover StepCache, a novel approach for step-level reuse with lightweight verification and selective patching to boost LLM serving efficiency and accuracy...
Smartphone Liquid Identification via Vibration Sensing
Discover how smartphones use active vibration sensing to identify unknown liquids with 95% accuracy and low error rates in viscosity measurement.
AI Tools in Work-Based Learning for Student Interns
Explore how AI tools like ChatGPT boost productivity, communication, and ethics among student interns in work-based learning programs.
Ground Reaction Force Dataset Using Apple Watch Sensors
Explore a multi-modal dataset for estimating ground reaction force using consumer wearables like Apple Watch, supporting biomechanics research and ML model...