{"id":"https://openalex.org/W7128310030","doi":"https://doi.org/10.5281/zenodo.18524793","title":"Pramana: Fine-Tuning Large Language Models for Epistemic Reasoning through Navya-Nyaya","display_name":"Pramana: Fine-Tuning Large Language Models for Epistemic Reasoning through Navya-Nyaya","publication_year":2026,"publication_date":"2026-02-08","ids":{"openalex":"https://openalex.org/W7128310030","doi":"https://doi.org/10.5281/zenodo.18524793"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.18524793","doi":"https://doi.org/10.5281/zenodo.18524793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18524793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.18524793","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063281509","display_name":"Sharath Sathish","orcid":"https://orcid.org/0000-0002-9863-409X","observed_orcids":["https://orcid.org/0000-0002-9863-409X"]},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Sathish, Sharath","raw_affiliation_strings":["University of York"],"raw_orcid":"https://orcid.org/0000-0002-9863-409X","affiliations":[{"raw_affiliation_string":"University of York","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063281509"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7031000256538391,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7031000256538391,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.22290000319480896,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.014399999752640724,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/navya-nyaya","display_name":"Navya-Ny\u0101ya","score":0.8980000019073486},{"id":"https://openalex.org/keywords/epistemic-reasoning","display_name":"epistemic reasoning","score":0.8899999856948853},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8360000252723694},{"id":"https://openalex.org/keywords/epistemic-humility","display_name":"epistemic humility","score":0.675000011920929},{"id":"https://openalex.org/keywords/epistemic-grounding","display_name":"epistemic grounding","score":0.5720000267028809},{"id":"https://openalex.org/keywords/syllogism","display_name":"syllogism","score":0.6899999976158142},{"id":"https://openalex.org/keywords/fallacy-detection","display_name":"fallacy detection","score":0.7160000205039978},{"id":"https://openalex.org/keywords/proof-by-contradiction","display_name":"reductio ad absurdum","score":0.7760000228881836},{"id":"https://openalex.org/keywords/chain-of-thought-prompting","display_name":"chain-of-thought prompting","score":0.824999988079071},{"id":"https://openalex.org/keywords/llm-fine-tuning","display_name":"LLM fine-tuning","score":0.6370000243186951},{"id":"https://openalex.org/keywords/knowledge-sources","display_name":"knowledge sources","score":0.30799999833106995},{"id":"https://openalex.org/keywords/prompt-engineering","display_name":"prompt engineering","score":0.4410000145435333},{"id":"https://openalex.org/keywords/epistemic-gap","display_name":"epistemic gap","score":0.34599998593330383},{"id":"https://openalex.org/keywords/qlora","display_name":"QLoRA","score":0.44699999690055847},{"id":"https://openalex.org/keywords/lora","display_name":"LoRa","score":0.6290000081062317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6137999892234802},{"id":"https://openalex.org/C121649496","wikidata":"https://www.wikidata.org/wiki/Q14402006","display_name":"Reductio ad absurdum","level":3,"score":0.567300021648407},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5134999752044678},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46709999442100525},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.4480000138282776},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4174000024795532},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.40720000863075256},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.4025999903678894},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.39419999718666077},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3806999921798706},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C44291984","wikidata":"https://www.wikidata.org/wiki/Q1074173","display_name":"Question answering","level":2,"score":0.35920000076293945},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.34540000557899475},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.34380000829696655},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3386000096797943},{"id":"https://openalex.org/C55508974","wikidata":"https://www.wikidata.org/wiki/Q190763","display_name":"Venn diagram","level":2,"score":0.33090001344680786},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.310699999332428},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3091000020503998},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C20854674","wikidata":"https://www.wikidata.org/wiki/Q4386060","display_name":"Cognitive architecture","level":3,"score":0.30329999327659607},{"id":"https://openalex.org/C130440534","wikidata":"https://www.wikidata.org/wiki/Q14946528","display_name":"Conflation","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.30239999294281006},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.3000999987125397},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.2720000147819519},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.18524793","doi":"https://doi.org/10.5281/zenodo.18524793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18524793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.18524794","doi":"https://doi.org/10.5281/zenodo.18524794","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18524794","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.18524793","doi":"https://doi.org/10.5281/zenodo.18524793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18524793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7221533886","https://openalex.org/W7166849605","https://openalex.org/W7127098470","https://openalex.org/W7133217772","https://openalex.org/W7171488014","https://openalex.org/W7128733119","https://openalex.org/W7167901573","https://openalex.org/W7140235195","https://openalex.org/W7133252108","https://openalex.org/W7167894034"],"abstract_inverted_index":{"Overview":[0],"Pramana":[1,66,80,559],"introduces":[2],"the":[3,29,35],"first":[4],"large":[5],"language":[6],"models":[7,319,372],"fine-tuned":[8,179,189],"on":[9,62,180,190,583,692],"explicit":[10,84,158,433,494,760],"Navya-Nyaya":[11,473,814],"epistemological":[12,784],"methodology\u2014a":[13],"2,500-year-old":[14],"Indian":[15,823,894],"logical":[16,593],"reasoning":[17,64,126,150,251,321,513,562,711,732,758,832],"framework.":[18],"This":[19,138,329,706,777],"work":[20,707],"bridges":[21],"ancient":[22],"epistemology":[23,143],"with":[24,102,212,243,270,280,432,467,493,572,604,664,675,682,738],"modern":[25],"AI":[26,731,745,797],"to":[27,37,503,516,627,661,716],"address":[28],"fundamental":[30],"epistemic":[31,52,168,536],"gap":[32],"in":[33,40,86,107,500,524,748],"LLMs:":[34,501],"inability":[36,502],"ground":[38],"claims":[39],"traceable":[41,515],"evidence":[42,155,517],"sources,":[43],"distinguish":[44,504],"valid":[45,88,505],"knowledge":[46,89,133,495,506,539],"from":[47,134,148,488,507],"pattern-matching,":[48],"and":[49,142,166,235,314,343,531,767,802],"express":[50],"appropriate":[51],"humility.":[53,169],"Core":[54],"Innovation":[55],"Unlike":[56,483],"generic":[57],"chain-of-thought":[58],"prompting":[59,342,353,364],"which":[60],"relies":[61],"implicit":[63],"patterns,":[65],"enforces":[67],"structured":[68,213,892],"6-phase":[69],"methodology:":[70],"Samshaya":[71],"(Doubt":[72],"Analysis):":[73],"Classifies":[74],"uncertainty":[75],"into":[76,792],"5":[77,125],"taxonomic":[78],"categories":[79],"(Evidence":[81],"Sources):":[82],"Mandates":[83],"grounding":[85],"4":[87,450],"sources":[90,496,518],"(Pratyaksha/perception,":[91],"Anumana/inference,":[92],"Upamana/comparison,":[93],"Shabda/testimony)":[94],"Pancha":[95],"Avayava":[96],"(5-Member":[97],"Syllogism):":[98],"Constructs":[99],"formal":[100,485,628,790],"arguments":[101],"universal":[103,159,573],"rules":[104,521,574],"(Vyapti)":[105,522],"grounded":[106,523],"concrete":[108,525],"examples":[109,182,192,526,663],"(Drishtanta)":[110,527],"Tarka":[111],"(Counterfactual":[112],"Testing):":[113],"Verifies":[114],"conclusions":[115,565],"via":[116,257,446],"reductio":[117],"ad":[118],"absurdum":[119],"Hetvabhasa":[120,388],"(Fallacy":[121],"Detection):":[122],"Systematically":[123],"checks":[124],"error":[127,164,532],"types":[128,399],"Nirnaya":[129],"(Ascertainment):":[130],"Distinguishes":[131],"definitive":[132],"hypotheses":[135],"requiring":[136],"verification":[137,689],"integration":[139,456],"of":[140,154,742,813,821,884],"logic":[141,486,492,629,824],"provides":[144,759],"cognitive":[145],"scaffolding":[146],"absent":[147],"standard":[149],"approaches,":[151],"preventing":[152],"conflation":[153],"types,":[156],"forcing":[157],"rule":[160],"statements,":[161],"enabling":[162],"systematic":[163,710],"detection,":[165],"maintaining":[167],"Architecture":[170],"&":[171,609,704,853],"Training":[172,193,216,294,600],"Models":[173,288,876],"Developed:":[174],"Stage":[175,183,262,349,360,438,641,657,668,678],"0":[176,350],"(Proof-of-Concept):":[177],"Llama-3.2-3B-Instruct":[178],"20":[181],"1":[184,263,361,420],"(Minimum":[185],"Viable":[186],"Reasoner):":[187],"DeepSeek-R1-Distill-Llama-8B":[188],"55":[191],"Methodology:":[194],"QLoRA":[195],"(4-bit":[196],"quantization)":[197],"for":[198,437,770,774,781,877],"efficient":[199],"training":[200],"LoRA":[201],"rank":[202],"64,":[203],"targeting":[204],"all":[205,291],"attention":[206],"+":[207,354,365,809,858],"FFN":[208],"layers":[209],"Supervised":[210],"fine-tuning":[211,383,482,848],"Markdown":[214],"format":[215,241,276,315,352,363,375,423,651],"costs:":[217],"<$1.00":[218],"per":[219,548],"stage,":[220],"<0.32":[221],"GPU-hours":[222],"(A100":[223],"40GB)":[224],"Datasets":[225],"span":[226],"constraint":[227,255],"satisfaction,":[228],"Boolean":[229],"SAT,":[230],"multi-step":[231],"deduction,":[232],"transitive":[233],"reasoning,":[234,335,754,890,893],"set":[236],"operations":[237],"Prompt":[238],"Engineering:":[239],"Explicit":[240,535],"instructions":[242],"skeletal":[244],"template":[245],"injection":[246],"System":[247],"prompt":[248,722],"establishing":[249],"Nyaya":[250,331,378,434,490],"engine":[252],"role":[253],"Critical":[254,307],"enforcement":[256],"generation":[258],"parameters":[259],"Key":[260],"Results":[261],"Performance:":[264],"100%":[265],"semantic":[266,311,358,369,411,861],"correctness":[267,312],"(10/10":[268],"examples)":[269,279,644],"95%":[271,281],"CI":[272,282],"[0.510,":[273],"1.0]":[274],"40%":[275],"adherence":[277,316,615],"(4/10":[278],"[0.168,":[283],"0.687]":[284],"Zero":[285,405],"structure":[286,379],"abandonment:":[287],"consistently":[289],"attempt":[290],"6":[292],"phases":[293,761],"loss:":[295],"0.350":[296],"(Stage":[297,301,637],"1)":[298],"vs":[299],"0.691":[300],"0),":[302],"indicating":[303],"improved":[304],"model":[305,697],"fit":[306],"Finding:":[308],"Dissociation":[309],"between":[310],"(100%)":[313],"(40%)":[317,616],"reveals":[318],"internalize":[320],"content":[322],"even":[323],"when":[324],"strict":[325],"schema":[326,403],"compliance":[327,424],"fails.":[328],"suggests":[330],"methodology":[332],"teaches":[333],"genuine":[334],"not":[336,459,720],"just":[337,721],"template-filling.":[338],"Ablation":[339],"Studies:":[340],"Format":[341,614],"temperature":[344],"interact":[345],"differently":[346],"across":[347],"stages":[348],"optimal:":[351,362],"temp":[355,366],"0.0":[356],"(30%":[357,368],"rate)":[359,370],"0.7":[367],"Base":[371],"show":[373],"0%":[374],"adherence,":[376],"confirming":[377],"is":[380,727],"learned":[381,477],"through":[382,481,718,880],"Failure":[384],"Mode":[385],"Analysis:":[386],"Missing":[387],"section":[389],"(2":[390,400],"cases):":[391,401],"fallacy":[392],"detection":[393,533],"perceived":[394],"as":[395],"optional":[396],"Invalid":[397],"doubt":[398],"partial":[402],"learning":[404],"structural":[406],"errors:":[407],"strong":[408],"syntactic":[409],"learning,":[410],"constraints":[412],"need":[413],"reinforcement":[414],"Evaluation":[415],"Framework":[416],"Three-Tier":[417],"Validation:":[418],"Tier":[419,427,440,449],"(Structural):":[421],"Automated":[422],"checking":[425],"(NyayaStructureValidator)":[426],"2":[428,569,639],"(Content":[429],"Quality):":[430],"LLM-as-judge":[431,665],"rubric":[435],"(planned":[436],"2)":[439],"3":[441],"(Ground":[442],"Truth):":[443],"Semantic":[444],"similarity":[445,862],"sentence-transformers":[447],"embeddings":[448],"(Formal":[451],"Verification):":[452],"Z3":[453,688],"SMT":[454],"solver":[455],"(infrastructure":[457],"exists,":[458],"yet":[460],"applied)":[461],"Theoretical":[462],"Contributions":[463],"Bridging":[464],"Ancient":[465],"Epistemology":[466],"Modern":[468],"AI:":[469],"First":[470],"demonstration":[471],"that":[472,709,762,799],"structures":[474],"can":[475,713,763],"be":[476,714,764],"by":[478,554],"neural":[479,793],"networks":[480],"Western":[484,789],"(divorced":[487],"epistemology),":[489],"integrates":[491],"Addresses":[497],"\"epistemic":[498],"gap\"":[499],"probabilistic":[508],"associations":[509],"Interpretability":[510],"Advantages:":[511],"Every":[512],"step":[514],"(Pramana)":[519],"Universal":[520],"Built-in":[528],"self-verification":[529],"(Tarka)":[530],"(Hetvabhasa)":[534],"status":[537],"(Nirnaya):":[538],"vs.":[540],"hypothesis":[541],"Computational":[542],"Epistemology:":[543],"Token":[544],"budget:":[545],"~1,250":[546],"tokens":[547,647],"solution":[549],"(3-6\u00d7":[550],"CoT":[551],"overhead,":[552],"justified":[553],"interpretability)":[555],"Phase":[556],"dependencies:":[557],"weak":[558],"\u2192":[560,563],"invalid":[561],"wrong":[564],"Quality":[566],"thresholds:":[567],"minimum":[568],"complete":[570],"syllogisms":[571],"required":[575],"Open":[576],"Science":[577],"Release":[578],"All":[579],"artifacts":[580],"publicly":[581],"available":[582],"Hugging":[584],"Face:":[585],"Models:":[586],"qbz506/nyaya-llama-3b-stage0,":[587],"qbz506/nyaya-deepseek-8b-stage1":[588],"Dataset:":[589],"qbz506/pramana-nyaya-stage1":[590],"(55":[591],"Nyaya-structured":[592,757],"problems)":[594],"Demo:":[595],"qbz506/pramana-nyaya-demo":[596],"(interactive":[597],"HuggingFace":[598],"Space)":[599],"infrastructure:":[601],"Complete":[602],"codebase":[603],"callbacks,":[605],"validators,":[606],"evaluators":[607],"Limitations":[608],"Future":[610],"Work":[611],"Current":[612],"Limitations:":[613],"below":[617],"target":[618],"(\u226590%),":[619],"requires":[620],"constrained":[621,683],"decoding":[622,684],"or":[623],"format-specific":[624],"rewards":[625,677],"Limited":[626],"problems,":[630],"domain":[631],"expansion":[632],"needed":[633],"Small":[634],"evaluation":[635],"sets":[636],"0:":[638],"examples,":[640],"1:":[642],"10":[643],"Max":[645],"new":[646],"truncation":[648],"(256)":[649],"affects":[650],"parsing":[652],"Planned":[653],"Extensions":[654],"(Stages":[655],"2-4):":[656],"2:":[658],"Synthetic":[659],"scaling":[660],"500":[662],"quality":[666],"control":[667],"3:":[669],"Group":[670],"Relative":[671],"Policy":[672],"Optimization":[673],"(GRPO)":[674],"composite":[676],"4:":[679],"Production":[680],"deployment":[681],"(GBNF),":[685],"rejection":[686],"sampling,":[687],"Future:":[690],"Benchmark":[691],"LogicBench,":[693],"ProntoQA,":[694],"RuleTaker;":[695],"frontier":[696],"comparison":[698],"(o1,":[699],"Claude":[700],"extended":[701],"thinking)":[702],"Impact":[703],"Vision":[705],"demonstrates":[708],"frameworks":[712,785],"taught":[715],"LLMs":[717],"fine-tuning,":[719],"engineering.":[723],"The":[724],"long-term":[725],"vision":[726],"developing":[728],"interpretable,":[729],"trustworthy":[730,771],"systems":[733,746,798],"where":[734],"every":[735],"conclusion":[736],"comes":[737],"an":[739],"auditable":[740],"trail":[741],"justification.":[743],"As":[744],"deploy":[747],"high-stakes":[749],"domains":[750],"(medical":[751],"diagnosis,":[752],"legal":[753],"safety-critical":[755],"systems),":[756],"validated,":[765],"debugged,":[766],"improved\u2014capabilities":[768],"essential":[769],"AI.":[772],"Invitation":[773],"Community":[775],"Research:":[776],"foundation":[778],"opens":[779],"pathways":[780],"integrating":[782],"other":[783],"(Mimamsa,":[786],"Buddhist":[787],"logic,":[788,895],"logic)":[791],"architectures,":[794],"advancing":[795],"toward":[796],"reason":[800],"systematically":[801],"transparently.":[803],"Technical":[804],"Details":[805],"Paper:":[806],"52":[807],"pages":[808],"appendices,":[810],"comprehensive":[811,864],"treatment":[812],"computational":[815,822,898],"formalization":[816],"Related":[817],"Work:":[818],"Extensive":[819],"review":[820],"(Matilal":[825],"1985,":[826],"Burton":[827],"2020,":[828],"Ganeri":[829],"2001),":[830],"LLM":[831,889],"(Wei":[833],"et":[834,838],"al.":[835,839],"2022,":[836],"Lightman":[837],"2023,":[840],"DeepSeek-AI":[841],"2025),":[842],"hallucination":[843,896],"mitigation":[844],"Implementation:":[845],"Python,":[846],"Unsloth":[847],"framework,":[849],"vLLM":[850],"deployment,":[851],"Weights":[852],"Biases":[854],"observability":[855],"Evaluation:":[856],"Manual":[857],"automated":[859],"validation,":[860],"metrics,":[863],"failure":[865],"mode":[866],"analysis":[867],"Citation":[868],"Sathish,":[869],"S.":[870],"(2026).":[871],"Pramana:":[872],"Fine-Tuning":[873],"Large":[874],"Language":[875],"Epistemic":[878],"Reasoning":[879],"Navya-Nyaya.":[881],"Preprint,":[882],"University":[883],"York.":[885],"Keywords:":[886],"Navya-Nyaya,":[887],"epistemology,":[888],"interpretability,":[891],"mitigation,":[897],"philosophy":[899]},"counts_by_year":[],"updated_date":"2026-10-08T09:06:37.294493","created_date":"2026-02-09T00:00:00"}