<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">

Publication:
Generative reward models for formal theorem proving : methods, benchmarks and tree search integration

Simple item page
dc.contributor.advisorŞahin, Gözde Gül
dc.contributor.kuauthorUluşan, Zeynel Abidin
dc.contributor.programComputer Science and Engineering
dc.contributor.refereeErdoğan, Alper
dc.contributor.refereeErdem, Erkut
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2026-09-10T10:13:11Z
dc.date.issued2025
dc.description.fulltextYes
dc.format.extentxvii, 116 leaves ;; 30 cm.
dc.identifier.embargoNo
dc.identifier.endpage133
dc.identifier.filenameinventorynoT_2025_108_GSSE
dc.identifier.urihttps://hdl.handle.net/20.500.14288/35218
dc.identifier.yoktezid999908
dc.identifier.yoktezlinkhttps://tez.yok.gov.tr/UlusalTezMerkezi/TezGoster?key=KOgdn9H3uVnWeb15j2W4h0osccaCT1jUVh6h1eCkZxJXBrzhM6q7QiFp92qZ0E1P
dc.keywordsGenerative reward models, Formal theorem proving, Reinforcement learning, Automated reasoning
dc.keywordsAnahtar kelimeler: Üretici ödül modelleri, Biçimsel teorem ispatı, Pekiştirmeli öğrenme, Otomatik akıl yürütme.;
dc.languageeng
dc.publisherKoç University
dc.relation.collectionKoç University Theses & Dissertations Collection
dc.rightsrestrictedAccess
dc.rights.copyrightsnote© All Rights Reserved. Accessible to Koç University Affiliated Users Only!
dc.subjectAutomatic theorem proving
dc.titleGenerative reward models for formal theorem proving : methods, benchmarks and tree search integration
dc.title.alternativeBiçimsel teorem ispatlama için üretken ödül modelleri: Metotlar, denektaşları ve ağaç yapılı arama entegrasyonu
dc.typeThesis
dspace.entity.typePublication
relation.isAdvisorOfThesisf2803614-ffa8-4a0c-9797-8fce6ccc3955
relation.isAdvisorOfThesis.latestForDiscoveryf2803614-ffa8-4a0c-9797-8fce6ccc3955
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Collections

Theses & Dissertations