الباحثون

وي داي

المنشورات 2

نسخة أولية وصول مفتوح

this-that-model-1.0: A typed decision model that decides in 30 ms, for a millionth of a cent

Software delegates more of its branches to models every year: which queue a ticket enters, whether a command is safe to run, whether a claim clears without a person. What the program needs back is not prose. It is one of n declared options and a number it can threshold. Today that costs a round trip to a frontier model …

نسخة أولية وصول مفتوح

Euston: Training Away Mathematical Sycophancy Without Losing the Mathematics

Reasoning language models are trained to produce solutions, not to refuse them, and this bias persists when the problem they are handed is false. Asked to prove a corrupted theorem, a strong model will typically comply and produce a confident derivation of something untrue. We present Euston, an 8B mathematical claim-v …

المؤلفون المشاركون