shipfeedAI news, curated daily

00:33:03 CET
21 MAY00:33:03shipfeed⋯
pull to refreshlast sync
Just in — 30 new
§ research · storyline

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving

May 12 · · primary fetch1 sourceupdated May 12 ·

This storyline groups 1 article from 1 source. The originating feed didn’t ship an excerpt — open any link below to read the piece.

read full article on arxiv.org ↗
§ sources1 publication · timeline below
  1. arxiv.orgRethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Provingprimary