ÍÆËã»úѧԺÀäÍØ¸±½ÌÊÚÍŶÓÔÚÈËΪÖÇÄܹú¼Ê¶¥»áIJCAI2025Éϰ䷢»úе֤Ã÷FormalGeoϵÁÐ×îÐÂ×êÑгɾÍ

°ä²¼¹¦·ò£º2025-05-09Ͷ¸å£º°¬Ãô ²¿ÃÅ£ºÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§Ôº ä¯ÀÀ´ÎÊý£º

½üÆÚ£¬ÈËΪÖÇÄÜÁìÓò¹ú¼ÊѧÊõ»áÒéIJCAI 2025£¨ÖйúÍÆËã»úѧ»áCCF AÀà»áÒ飩°ä²¼Éó¸åÁ˾Ö£¬CA88ÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§ÔºÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éµÄ×êÑгɾ͡°FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network¡±±»¸Ã»áÒé½Ó¹Ü¼Óã¬ÍÆËã»ú¹¤³ÌÓë¿ÆÑ§Ñ§Ôº2024¼¶²©Ê¿×êÑÐÉúÕÅЧ¿­ÎªÂÛÎĵÚÒ»×÷Õߣ¬ÀäÍØ¸±½ÌÊÚΪΨһͨѶ×÷Õß ¡£IJCAIÈ«³ÆÎª¹ú¼ÊÈËΪÖÇÄܽáºÏ»áÒ飨International Joint Conference on Artificial Intelligence£©£¬¸Ã»áÒéÊǹú¼ÊÈËΪÖÇÄܽç×îÓÐÓ°ÏìÁ¦ºÍȨÍþÐÔµÄÊ¢»áÖ®Ò»£¬ÔÚÊÀ½çÁìÓòÄÚÿÄêÕÙ¿ªÒ»´Î£¬±¾½ì»áÒé¼ÓÃÂÊԼΪ19% ¡£

¼¸ºÎѧÊÇÒ»Ãź¹ÇàÓÆ¾Ã¡¢Àú¾ÃÃÖеÄѧ¿Æ£¬×ÔÅ·¼¸ÀïµÃ¡¶¼¸ºÎÕý±¾¡·ÎÊÊÀÒÔÀ´£¬ÆäÀíÂÛϵͳ²»ÐÝÃÀÂú£¬¶ø¹ØÓÚ¼¸ºÎÎÊÌâ×Ô¶¯Çó½â²½ÖèµÄË÷ÇóʼÖÕÓëÖ®Ïà°éÏàÉú ¡£³ö¸ñÊÇÍÆËã»ú³öÏÖÒÔÀ´£¬ÈËÃdz¢ÊÔÀûÓÃÆä׳´óµÄÍÆËãºÍÍÆÀíÄÜÁ¦Éè¼Æ×Ô¶¯½âÌâËã·¨£¬ÔÚÕâÒ»²¼¾°Ïµ®ÉúÁËÊýѧ»úе»¯ÕâÒ»ÊýѧзÖÖ§ ¡£½«Êýѧ֪ʶת»¯³ÉÍÆËã»ú¿ÉÄÜÀí½âµÄ˵»°£¬ÏÔÈ»Ò×¼ûÊÇÊýѧÓëÍÆËã»ú¿ÆÑ§ÈںϵĵÚÒ»²½£¬Ò²ÊDZز»³ÉÉٵijÁÒªÒ»²½ ¡£¼¸ºÎÎÊÌâÔ̺¬Í¼Ïñ¡¢Îı¾ºÍÊýѧ·ûºÅµÈ¶àÖÖ֪ʶ´ó¾Ö£¬½âÌâ¹ý³ÌÉæ¼°¼¸ºÎ¸ÉÏµÍÆÀí¡¢ÊýÖµÍÆËã¡¢´úÊý·½³ÌÇó½â¡¢Í¼ÏñÍÆÀíºÍÂß¼­ÔËË㣬ÄÑÒÔÄÉÈëͳһ¿ò¼Ü´¦Öã¬Ê¹µÃ¼¸ºÎÎÊÌâ´ó¾Ö»¯Óë×Ô¶¯Çó½â³ÉΪһÏî³Ö¾ÃµÄÌôÕ½ ¡£

ÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎÎÊÌâ´ó¾Ö»¯°µÊ¾Óë×Ô¶¯Çó½âÁìÓò·¢Õ¹ÁËϵͳÐÔ×êÑУ¬Í¨¹ýÕûºÏÊýѧ»úе»¯²½ÖèÓëÉî¶È½ø½¨¼¼Êõ£¬Öð²½¹¹½¨ÁËÒ»¸öÓµÓд´ÐÂÐԵļ¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü¡ª¡ªFormalGeo£¬Èçͼ1Ëùʾ ¡£FormalGeo¼¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü¿É»®·ÖΪËĸöÖØÒª×é³É²¿ÃÅ£º¼¸ºÎ´ó¾Ö»¯ÀíÂÛ£¨Í¼ÖкìÉ«²¿ÃÅ£©¡¢¼¸ºÎ´ó¾Öϵͳ£¨Í¼ÖлÆÉ«²¿ÃÅ£©¡¢¼¸ºÎÎÊÌâÇó½âÆ÷£¨Í¼ÖÐÀ¶É«²¿ÃÅ£©ÒÔ¼°¼¸ºÎÎÊÌâµÄ×Ô¶¯´ó¾Ö»¯ÓëÄæ´ó¾Ö»¯£¨Í¼ÖÐÂÌÉ«²¿ÃÅ£© ¡£

ͼƬ1.png

ͼ1 FormalGeo¼¸ºÎÎÊÌâ×Ô¶¯Çó½â¿ò¼Ü

Õâ´Î±»IJCAI 2025¼ÓõŤ×÷ÊÇÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎÎÊÌâ×Ô¶¯Çó½âϵÁеĵÚ7ƪÂÛÎÄ ¡£¸Ã¹¤×÷¹¹½¨ÁËÒ»¸öÃûΪFGeo-HyperGNetµÄÉñ¾­-·ûºÅϵͳ£¬ÓÃÓÚʵÏÖÀàÈ˵ļ¸ºÎÎÊÌâ×Ô¶¯Çó½â£¬ÕûÌå¼Ü¹¹Èçͼ2Ëùʾ ¡£¸ÃϵͳµÄ·ûºÅ²¿ÃÅÊÇ»ùÓÚFormalGeo¹¹½¨µÄ´ó¾Ö»¯ÏµÍ³£¬¿ÉÄÜ×Ô¶¯Ö´Ðм¸ºÎ¸ÉÏµÍÆÀíÓë´úÊýÔËË㣬²¢½«½âÌâ¹ý³Ì×é֯ΪÒÔÒÑ֪ǰÌáΪ³¬½áµã¡¢¼¸ºÎ¶¨ÀíΪ³¬±ßµÄ³¬Í¼½á¹¹ ¡£¸ÃϵͳµÄÉñ¾­²¿ÃÅHyperGNetÊÇÒ»ÖÖ»ùÓÚ°ÑÎÈÁ¦»úÔìµÄ³¬Í¼Éñ¾­ÍøÂ磬Æä×é³ÉÔ̺¬ÓÃÓÚÓÐЧ±àÂ볬ͼ½á¹¹ÓëÓïÒåÐÅÏ¢µÄ±àÂëÆ÷£¬ÒÔ¼°Îª½âÌâ¹ý³ÌÌṩÁìµ¼µÄ¶¨ÀíÔ¤²âÆ÷ ¡£¸Ãϵͳͨ¹ýÉñ¾­²¿ÃÅÔ¤²â½âÌâËùÐèµÄ¶¨Àí£¬·ûºÅ²¿ÃÅÀûÓö¨Àí²¢¸üг¬Í¼£¬Ðγɡ°Ô¤²â-ÀûÓᱵĵü´úÇó½â»úÔ죬×îÖÕʵÏֿɶÁ¡¢¿É»ØËÝ¡¢¿ÉÚ¹Ê͵ļ¸ºÎÎÊÌâ×Ô¶¯Çó½â ¡£

ͼƬ2.png

ͼ2 ÓÃÓÚ×Ô¶¯Çó½â¼¸ºÎÎÊÌâµÄÉñ¾­·ûºÅϵͳÕûÌå¼Ü¹¹

×÷ÕßÔÚÈý¸ö¼¸ºÎÎÊÌâÇó½âÊý¾Ý¼¯FormalGeo7K¡¢Geometry3KºÍGeoQA¶ÔÌá³öµÄ²½Öè½øÐвâÊÔ£¬¾ù´´ÔìÁËÐµļ¸ºÎÎÊÌâÇó½â³É¹¦Âʼͼ£¨SOTA£©£¬±ðÀëΪ88.36%¡¢85.64%ºÍ91.99% ¡£Ïà±Å×Ú¸ÃÁìÓòÏÖÓÐSOTA²½Ö裬FGeo-HyperGNetÔÚÈý¸öÊý¾Ý¼¯ÉϵÄÌáÉý±ðÀëΪ5.98%¡¢20.44%ºÍ1.59% ¡£³ö¸ñÊÇÔÚÇó½â¸ßÄѶȼ¸ºÎÎÊÌâʱ£¬FGeo-HyperGNetÏÔÖøÓÅÓÚÏÖÓÐSOTA²½Öè ¡£

ͼƬ3.png

ͼ3 ×êÑÐÄÚÈÝÂß¼­¹ØÏµÍ¼

¾­¹ý½ü5ÄêµÄ¶Ñ¼¯£¬ÀäÍØ¸±½ÌÊÚ¿ÎÌâ×éÔÚ¼¸ºÎ×Ô¶¯ÍÆÀíÁìÓòµÄ×êÑгɾÍÒÑÖð²½»ñµÃѧ½ç¿í·ºÈϿɣ¬Ç°ÆÚ¶àÏî³É¾ÍÒѾ­ÒÔÂÛÎÄ´ó¾Ö°ä·¢£¬¸÷²¿ÃÅ×êÑÐÄÚÈݵÄÂß¼­¹ØÏµÈçͼ3Ëùʾ ¡£

ÍŶÓÂÅ´ÎÊÜÑûÔÚ±±¾©´óѧ¡¢¸´µ©´óѧ¡¢±±¾©º½¿Õº½Ìì´óѧµÈ³ÛÃû¸ßУ£¬ÒÔ¼°ÖйúÊýѧÄê»áÍÆËã»úÊýÑ§Ç°ÑØÂÛ̳µÈ³ÁҪѧÊõ»áÒéÉÏ×÷Ô¼Çë»ã±¨ ¡ £¿ÎÌâ×éÌá³öµÄFormalGeo´ó¾Ö»¯ÏµÍ³×÷Ϊ»ù´¡ÐÔÀíÂÛ¿ò¼Ü£¬ÒÑÓÐЧ֧³ÖÁ˶àÏîÑÜÉú×êÑУº±±¾©´óѧÍŶӻùÓÚFormalGeoÌá³öÁËÒ»ÖÖÃûΪDFE-GPSµÄпò¼Ü£¬Í¨¹ýÈý½×¶ÎѵÁ·¼ÓǿģÐͶԼ¸ºÎͼÐεÄÀí½âÓëÍÆÀíÄÜÁ¦£¬ÌáÉý¶àģ̬´ó˵»°Ä£ÐÍÔÚ¼¸ºÎÎÊÌâÇó½âÖеIJû·¢ ¡£Öйú¿ÆÑ§¼¼Êõ´óѧÍŶÓÌá³öÁËGeoGen²½Ö裬¸Ã²½Öè»ùÓÚFormalGeo×Ô¶¯ÌìÉú¼¸ºÎÎÊÌâµÄ¶à²½ÍÆÀíõè¾¶£¬È·±£Âß¼­ÕýÈ·ÐÔ£¬½ø¶øÑµÁ·×¨ÓõĴó˵»°Ä£ÐÍ£¬½«¶àģ̬´ó˵»°Ä£Ð͵ÄÌìȻ˵»°ÍÆÀí²½Öèת»»Îª·ûºÅϵͳµÄ´ó¾Ö»¯°µÊ¾£¬±ãÓÚ·ûºÅÑéÖ¤ ¡£Í¨¹ýÕâÖÖ·ûºÅ-Éñ¾­¼¯³É¼ÓÇ¿¶àģ̬´ó˵»°Ä£ÐÍÇó½â¼¸ºÎÎÊÌâµÄÄÜÁ¦ ¡£

½üÄêÀ´£¬ÍÆËã»úѧԺ×êÑÐÉúÈ˲ÅÔì¾Í¹¤×÷ÕýÖð²½Éî¿ÌרҵÁìÓòÇ°ÑØ£¬Ò»Ð©¸ßÖÊÁ¿¿ÆÑгɾÍÔÚ²»Ðݲú³ö ¡£ÕâЩ³É¾Í½«ÎªÍÆËã»úѧԺѧ¿Æ½¨Éè¡¢×êÑÐÉúÔì¾ÍÆðµ½³ÁÒªµÄÖ§³Ö×÷Óà ¡£

FormalGeoÖ÷Ò³£ºhttps://formalgeo.github.io/

¡¾ÍøÕ¾µØÍ¼¡¿