Santiago Valdarrama

@svpino

This is very clever: It's a model that "extracts" values that don't exist in a document but can be derived from the values that do exist. For example, you can ask for the yearly cost of using a product, and it will automatically compute it from the monthly cost. The video shows a bunch of cool examples. It looks like it can infer really convoluted and sophisticated formulas.
打开原帖#511482
  1. Industry

    Rohan Paul: – https://arxiv.org/abs/2610.08144 Title: "Navier-Stokes lost in tran…
  2. Industry

    Rohan Paul: A new paper shows that when AI translates a math proof into Lean, pas…
  3. Industry

    Rohan Paul: Emad Mostaque: AI models "have pretty much reached the efficiency of…