cd/entity/UC Riverside· home entities UC Riverside
grep -l @uc riverside /news/*.json | wc -l → 6

UC Riverside

mentions 6 type Person feed RSS

// recent coverage 6 mentions

00:38
2026-07-21
dailynous.com
artificial-intelligence

A Meta-Epistemological Reason for Rejecting AI-Written Philosophy

Eric Schwitzgebel, a philosophy professor at UC Riverside, argues that philosophy journals should reject AI-written submissions because the fact that a text was generated by an expert human provides m…

00:00
2026-07-07
atomprophet.io
artificial-intelligence

The Thirsty Machine (Water Series, Part 1)

AI data centers are consuming vast amounts of freshwater, with a single hyperscale facility using up to 5 million gallons daily. Two-thirds of new data centers are in water-stressed regions, creating …

04:00
2026-06-16
arxiv.org
large-language-models

Evaluating the Robustness of Proof Autoformalization in Lean 4

Researchers at UC Riverside introduced the first robustness study for proof autoformalization in Lean 4, testing seven LLM-based models on perturbed informal proofs. All models showed sensitivity to g…

// co-occurs with top 8 entities
// topics top 6 topics