{"entities":{"Q7367935":{"pageid":31553825,"ns":120,"title":"Item:Q7367935","lastrevid":105426164,"modified":"2026-10-09T01:22:11Z","type":"item","id":"Q7367935","labels":{"en":{"language":"en","value":"Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization"}},"descriptions":{},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$647794E3-EB9C-4B2E-A1B1-0D0D2D4C73B1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$ECC22FE3-B1AD-453D-9F20-ACD8E00F0370","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"467ed47f17f99e5b68e99236aba6eb45c5b4ecc6","datavalue":{"value":"2609.39228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7367935$DA745700-483D-4519-A2D3-525C681E6ABB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdd3f1362d2cd9d8b35e6281449d25af210192c6","datavalue":{"value":"10.48550/arXiv.2609.39228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7367935$D93BDE29-DFE4-43A7-9D6C-6CE2FD07A7F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"981c649af98bf1926d8b0d017a0094639386dfe3","datavalue":{"value":{"text":"Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7367935$1DD99195-6250-45CF-81D9-B528931EBC8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537db483ce51c7dd55d639a3f1bed5394ddd5246","datavalue":{"value":{"time":"+2026-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7367935$B8720A16-C7FE-4668-99B9-F8E5578E144D","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"614924768b75c995c88a0e54bf3be36427e60707","datavalue":{"value":"cs.AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$5127630E-A3C4-446B-BBA5-D97F35472821","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"2c13d903560a15215cd787c272506b309e0dc8b4","datavalue":{"value":"Wei Zhao","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$4CF1E1CA-325F-4FDB-9576-5659DC7A6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"968b2d7693b87d8760a85f656102a6716d1e0065","datavalue":{"value":"Yangshuo Zou","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$7B5DD142-B45B-4B9D-A23A-CD5943D19F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9e09fa5ade26532721f28502aeeb93c98226e205","datavalue":{"value":"Chengxiang Ding","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$0974A399-D2D4-49AA-BAAB-6543D1D561C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bff5b02f2fcaa61128351d318b4bc640408d633d","datavalue":{"value":"Yifan Wu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$060BF714-2962-4845-9332-83ECF5D80A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bde83fff4521a9c981038fe3c9aff1676d7ad7e2","datavalue":{"value":"Xuchuan Wang","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$542BAB21-F927-4314-AC99-A1DA6EB87B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"762f4247e1911fa60ce753bf5468e011fa529430","datavalue":{"value":"Zimu Mao","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$A03281DD-69CD-4FA6-8461-FC7054A865BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"613fc839d56214da78d3fc3bf38dc36ff28fb487","datavalue":{"value":"Lei Zhang","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$5444709E-20FD-465E-BC52-BD873681488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"5754b878b2c427dd7d588f4a0c4405f60b1f0356","datavalue":{"value":"Tao Luo","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$B4F639F1-42BC-42B4-A92E-81B8B4131125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"727928ffd55e7c0bbaf979e88deb99e01edbde64","datavalue":{"value":{"entity-type":"item","numeric-id":2962602,"id":"Q2962602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7367935$551B09E2-399E-4C4F-BC01-1D4CE022C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9762c9c125c108e5f3db79169453b6a8082c2c13","datavalue":{"value":{"entity-type":"item","numeric-id":339672,"id":"Q339672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7367935$18F6AB2A-77BD-41F1-B08D-B6546D6FBD2B","rank":"normal"}],"P1963":[{"mainsnak":{"snaktype":"value","property":"P1963","hash":"75c3ac15067c88155c5a719170ec05d45f67714d","datavalue":{"value":"We present FYAN, an end-to-end human--AI harness for document-level formalization with evidence-grounded semantic auditing; it proves more theorems (86/143) and outperforms a direct LLM judge on consistency checks (recall 0.777 vs. 0.636).","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"985dbb0e3957a205973fd95bd3fd79ca0980eb5b","datavalue":{"value":{"entity-type":"item","numeric-id":7269921,"id":"Q7269921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7367935$5F5CA64A-4475-4177-9434-8415E2D79947","rank":"normal"}],"P1964":[{"mainsnak":{"snaktype":"value","property":"P1964","hash":"4ce328820aae0d78c39de9bf24dc1c0ae02c5ea1","datavalue":{"value":"AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$3B6941BA-6405-4E38-A2D4-2F9E9F616092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"7bdd552bc9648ca082a8a9474659fc7ff5ecccd9","datavalue":{"value":"Document-Level","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$71EED743-7C97-4957-97A5-C2D7336A7980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"4d7221044ede5d0ccc13196b61dab7576833f91c","datavalue":{"value":"Formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$BBEA29C3-B15A-40BC-9D62-E409D66E04F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"ebdc87623e92118bcd98f3c5e62ee8ea1ce22187","datavalue":{"value":"Human-AI Harness","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$CFA456D1-91DE-4C26-B7A5-F08EAE710F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"62518c1402c27d1599a3d6c30c25738abcc1f05f","datavalue":{"value":"Semantic Auditing","type":"string"},"datatype":"string"},"type":"statement","id":"Q7367935$C3BB470B-DD73-4205-9373-5A1296ED3B51","rank":"normal"}],"P1642":[{"mainsnak":{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$56C61533-BDFF-4468-96F0-E279CB3B1923","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ddedf2e8db8bc31a66cc1152376d1333d95c0f3","datavalue":{"value":{"entity-type":"item","numeric-id":7207193,"id":"Q7207193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$8052CCD8-CFB5-423F-9AD8-E55E5F64BC83","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adef6ea4292ee75149170a009e418b760e117d72","datavalue":{"value":{"entity-type":"item","numeric-id":7245837,"id":"Q7245837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$6C1A6F75-B716-40E8-B044-FA309D6C6B72","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b714c1213b3a8f95bd8e14ce37c4444ca93c0","datavalue":{"value":{"entity-type":"item","numeric-id":5094470,"id":"Q5094470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7367935$65A3548A-A171-459F-A89D-83E1FA4B6939","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fyan:_A_Human--AI_Harness_with_Semantic_Auditing_for_Document-Level_Formalization"}}}}}