{"id":8024,"date":"2025-05-10T09:45:52","date_gmt":"2025-05-10T01:45:52","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=8024"},"modified":"2026-05-27T22:55:14","modified_gmt":"2026-05-27T14:55:14","slug":"labevents","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/labevents\/","title":{"rendered":"Events"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"8024\" class=\"elementor elementor-8024\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-a82615c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a82615c\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-a8bf9fd\" data-id=\"a8bf9fd\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-42a7e28 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"42a7e28\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-fb25425\" data-id=\"fb25425\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4213991 elementor-widget elementor-widget-heading\" data-id=\"4213991\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 29th May, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b5f5af6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b5f5af6\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5da1308\" data-id=\"5da1308\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4387373 elementor-widget elementor-widget-toggle\" data-id=\"4387373\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-7081\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-7081\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">\u56e0\u679c\u9a71\u52a8\u7684\u53ef\u4fe1\u5927\u8bed\u8a00\u6a21\u578b\u6280\u672f<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-7081\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-7081\"><p><strong>Speaker<\/strong>: \u90d1\u6df3\u5143 Chunyuan Zheng (Peking University)<\/p><p><strong>Time<\/strong>: 9:50-12:15, 29 May 2026<\/p><p><strong>Location: <\/strong>\u6e05\u534e\u5927\u5b66\u7b2c\u4e09\u6559\u5b66\u697c\u00a03104\u00a0\u6559\u5ba4<\/p><p><strong>Abstract<\/strong>:<\/p><section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><section>\u5927\u8bed\u8a00\u6a21\u578b\u6b63\u5728\u6df1\u523b\u6539\u53d8\u77e5\u8bc6\u83b7\u53d6\u3001\u4fe1\u606f\u751f\u4ea7\u4e0e\u590d\u6742\u51b3\u7b56\u652f\u6301\u7684\u65b9\u5f0f\uff0c\u4e3a\u63a8\u52a8\u4ea7\u4e1a\u5347\u7ea7\u4e0e\u793e\u4f1a\u667a\u80fd\u5316\u53d1\u5c55\u5e26\u6765\u4e86\u524d\u6240\u672a\u6709\u7684\u673a\u9047\u3002\u7136\u800c\uff0c\u73b0\u6709\u5927\u6a21\u578b\u7684\u9884\u8bad\u7ec3\u8303\u5f0f\u4e3a\u6700\u5c0f\u5316\u4e0b\u4e00\u4e2a\u8bcd\u5143\u7684\u9884\u6d4b\u635f\u5931\uff0c\u672c\u8d28\u4e0a\u5728\u5b66\u4e60\u6570\u636e\u4e2d\u7684\u7edf\u8ba1\u5171\u73b0\u5173\u7cfb\uff0c\u867d\u7136\u5728\u77e5\u8bc6\u95ee\u7b54\u3001\u5185\u5bb9\u751f\u6210\u7b49\u4efb\u52a1\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u4f46\u5728\u9762\u5bf9\u590d\u6742\u73b0\u5b9e\u95ee\u9898\u65f6\uff0c\u4ecd\u666e\u904d\u5b58\u5728\u5e7b\u89c9\u3001\u903b\u8f91\u4e0d\u4e00\u81f4\u3001\u504f\u89c1\u4f20\u64ad\u4ee5\u53ca\u5b89\u5168\u6027\u4e0d\u8db3\u7b49\u6311\u6218\uff0c\u4e25\u91cd\u5236\u7ea6\u4e86\u5176\u53ef\u9760\u90e8\u7f72\u4e0e\u5e7f\u6cdb\u5e94\u7528\u3002<\/section><section>\u4e0e\u6b64\u540c\u65f6\uff0c\u5927\u8bed\u8a00\u6a21\u578b\u9886\u57df\u7684\u6700\u65b0\u8fdb\u5c55\u8868\u660e\uff0c\u5927\u6a21\u578b\u82e5\u8981\u8fdb\u4e00\u6b65\u8fc8\u5411\u66f4\u9ad8\u6c34\u5e73\u7684\u667a\u80fd\uff0c\u5fc5\u987b\u589e\u5f3a\u5bf9\u56e0\u679c\u5173\u7cfb\u7684\u663e\u5f0f\u5efa\u6a21\u80fd\u529b\u3002\u5728\u672c\u6b21\u62a5\u544a\u4e2d\uff0c\u6211\u5c06\u91cd\u70b9\u4ecb\u7ecd\u4e09\u4e2a\u65b9\u9762\u7684\u7814\u7a76\uff1a\u9996\u5148\u4ecb\u7ecd\u56e0\u679c\u7684\u57fa\u672c\u601d\u60f3\u4e0e\u6838\u5fc3\u95ee\u9898\uff1b\u5176\u6b21\u8ba8\u8bba\u56e0\u679c\u4e0e\u903b\u8f91\u65b9\u6cd5\u5982\u4f55\u8d4b\u80fd\u5927\u8bed\u8a00\u6a21\u578b\uff1b\u6700\u540e\u63a2\u8ba8\u5927\u8bed\u8a00\u6a21\u578b\u5982\u4f55\u53cd\u5411\u8d4b\u80fd\u56e0\u679c\u4e0e\u903b\u8f91\u7814\u7a76\u3002\u901a\u8fc7\u63a2\u7d22\u56e0\u679c\u3001\u903b\u8f91\u4e0e\u5927\u8bed\u8a00\u6a21\u578b\u7684\u53cc\u5411\u8d4b\u80fd\u5173\u7cfb\uff0c\u4e3a\u6784\u5efa\u66f4\u52a0\u53ef\u9760\u7684\u4eba\u5de5\u667a\u80fd\u63d0\u4f9b\u65b0\u7684\u7406\u8bba\u57fa\u7840\u4e0e\u65b9\u6cd5\u652f\u6491\u3002<\/section><\/section><\/section><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: \u90d1\u6df3\u5143\uff0c\u5317\u4eac\u5927\u5b66\u6570\u5b66\u79d1\u5b66\u5b66\u9662\u535a\u58eb\u7814\u7a76\u751f\uff0c\u7814\u7a76\u65b9\u5411\u4e3a\u53ef\u4fe1\u673a\u5668\u5b66\u4e60\u3001\u56e0\u679c\u63a8\u65ad\u3001\u5927\u8bed\u8a00\u6a21\u578b\u63a8\u7406\u3002\u5728CCF-A\u7c7b\u4f1a\u8bae\uff0c\u4f8b\u5982\u4eba\u5de5\u667a\u80fd\u4e09\u5927\u9876\u4f1aICML\u3001NeurIPS\u3001ICLR\u53d1\u8868\u8bba\u6587\u591a\u7bc7\u3002\u62c5\u4efbNeurIPS\u9886\u57df\u4e3b\u5e2d\uff08Area Chair\uff09\uff0c\u4ee5\u53caICML\u3001ICLR\u3001KDD\u3001WWW\u7b49\u9876\u4f1a\u7a0b\u5e8f\u59d4\u5458\u4f1a\u6210\u5458\uff0cAAAI 2025\u56e0\u679c\u65b9\u5411Workshop\u5171\u540c\u4e3b\u5e2d\uff0cICLR 2026 \u5927\u8bed\u8a00\u6a21\u578b\u903b\u8f91\u63a8\u7406Workshop\u5b66\u751f\u52a9\u7406\u3002\u4e2a\u4eba\u4e3b\u9875\uff1ahttps:\/\/chunyuanzheng.github.io\/\u3002<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-00d9be5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"00d9be5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-84da2e6\" data-id=\"84da2e6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-ffd010f elementor-widget elementor-widget-heading\" data-id=\"ffd010f\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 15th May, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-0a9e1e6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0a9e1e6\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-22999b4\" data-id=\"22999b4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c8f9556 elementor-widget elementor-widget-toggle\" data-id=\"c8f9556\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2101\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2101\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">\u5927\u8bed\u8a00\u6a21\u578b\u590d\u6742\u903b\u8f91\u63a8\u7406\u80fd\u529b\u7684\u6d4b\u8bc4\u4e0e\u63d0\u5347<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2101\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2101\"><p><strong>Speaker<\/strong>: \u6210\u51e4\u7965 Fengxiang Cheng (University of Amsterdam)<\/p><p><strong>Time<\/strong>: 9:50-12:15, 15 May 2026<\/p><p><strong>Location: <\/strong>\u6e05\u534e\u5927\u5b66\u7b2c\u4e09\u6559\u5b66\u697c\u00a03104\u00a0\u6559\u5ba4<\/p><p><strong>Abstract<\/strong>:<\/p><section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\">\u5927\u8bed\u8a00\u6a21\u578b\u5c3d\u7ba1\u5728\u591a\u79cd\u4efb\u52a1\u4e0a\u8868\u73b0\u51fa\u4f18\u5f02\u6027\u80fd\uff0c\u4f46\u5176\u5728\u590d\u6742\u573a\u666f\u4e2d\u7684\u903b\u8f91\u63a8\u7406\u80fd\u529b\u4ecd\u5b58\u5728\u663e\u8457\u4e0d\u8db3\uff0c\u5c24\u5176\u96be\u4ee5\u5728\u5177\u4f53\u63a8\u7406\u4efb\u52a1\u4e2d\u6301\u7eed\u7ed9\u51fa\u51c6\u786e\u7b54\u6848\uff0c\u5e76\u4fdd\u6301\u4e0d\u540c\u56de\u7b54\u4e4b\u95f4\u7684\u903b\u8f91\u4e00\u81f4\u6027\u3002\u8fd9\u4e00\u5c40\u9650\u5728\u9700\u8981\u4e25\u683c\u63a8\u7406\u4e0e\u53ef\u9760\u51b3\u7b56\u7684\u771f\u5b9e\u573a\u666f\u4e2d\uff0c\u663e\u8457\u5236\u7ea6\u4e86\u5927\u8bed\u8a00\u6a21\u578b\u7684\u5b9e\u9645\u5e94\u7528\u4ef7\u503c\u3002\u5728\u672c\u6b21\u62a5\u544a\u4e2d\uff0c\u6211\u4eec\u5c06\u805a\u7126\u4e8e\u5927\u8bed\u8a00\u6a21\u578b\u590d\u6742\u903b\u8f91\u63a8\u7406\u80fd\u529b\u7684\u6d4b\u8bc4\u4e0e\u63d0\u5347\u65b9\u6cd5\u3002\u5177\u4f53\u800c\u8a00\uff0c\u6ce8\u610f\u5230\u4e0d\u540c\u7b26\u53f7\u8bed\u8a00\u8868\u793a\u7684\u4e0d\u540c\u4f18\u52bf\u3001\u7b26\u53f7\u4e0e\u81ea\u7136\u8bed\u8a00\u63a8\u7406\u7684\u4e92\u8865\u6027\uff0c\u6211\u4eec\u5c06\u4ecb\u7ecd\u4e00\u79cd\u63d0\u5347\u5927\u6a21\u578b\u7b26\u53f7\u7ffb\u8bd1\u4e0e\u63a8\u7406\u80fd\u529b\u7684\u591a\u667a\u80fd\u4f53\u8fa9\u8bba\u6846\u67b6 MAD-Logic\u3002\u53e6\u4e00\u65b9\u9762\uff0c\u89c2\u5bdf\u5230\u73b0\u6709\u65b9\u6cd5\u5c40\u9650\u4e8e\u663e\u5f0f\u63d0\u4f9b\u6240\u6709\u524d\u63d0\u7684\u5c01\u95ed\u4e16\u754c\uff0c\u65e0\u6cd5\u5904\u7406\u771f\u5b9e\u573a\u666f\u4e2d\u4fe1\u606f\u4e0d\u5b8c\u6574\u3001\u5e38\u8bc6\u7f3a\u5931\u7684\u5f00\u653e\u4e16\u754c\u95ee\u9898\uff0c\u6211\u4eec\u5c06\u4ecb\u7ecd\u80fd\u4e3b\u52a8\u8bc6\u522b\u5e76\u8865\u5168\u7f3a\u5931\u524d\u63d0\u7684\u667a\u80fd\u7b26\u53f7\u63a8\u7406\u7b97\u6cd5 OpenIKLR\u3002\u6b64\u5916\uff0c\u903b\u8f91\u4e00\u81f4\u6027\u8981\u6c42\u5bf9\u4e8e\u4e0d\u540c\u95ee\u9898\u5927\u6a21\u578b\u7684\u56de\u7b54\u4e4b\u95f4\u4e92\u4e0d\u77db\u76fe\uff0c\u7b26\u5408\u903b\u8f91\u63a8\u7406\u89c4\u5219\uff0c\u6211\u4eec\u5c06\u4ecb\u7ecd\u9996\u4e2a\u8bc4\u4f30\u5927\u6a21\u578b\u590d\u6742\u903b\u8f91\u4e00\u81f4\u6027\u7684\u8bc4\u6d4b\u57fa\u51c6 LogiConBench\uff0c\u6709\u6548\u89e3\u51b3\u4e86\u73b0\u6709\u903b\u8f91\u63a8\u7406\u8bc4\u6d4b\u57fa\u51c6\u7f3a\u4e4f\u53ef\u6269\u5c55\u6027\u3001\u591a\u6837\u6027\u4e14\u6311\u6218\u6027\u4e0d\u8db3\u7684\u95ee\u9898\u3002<\/section><\/section><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: \u6210\u51e4\u7965\uff0c\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u3001\u8bed\u8a00\u4e0e\u8ba1\u7b97\u7814\u7a76\u6240\uff08<span class=\"\">ILLC<\/span>\uff09\u4e8c\u5e74\u7ea7\u535a\u58eb\u751f\uff0c\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u7855\u58eb\u3002\u4e3b\u8981\u7814\u7a76\u65b9\u5411\u662f\u5927\u6a21\u578b\u903b\u8f91\u63a8\u7406\u3001\u56e0\u679c\u63a8\u65ad\u4e0e\u81ea\u7136\u8bed\u8a00\u5904\u7406\u3002\u4ee5\u7b2c\u4e00\u4f5c\u8005\u5728 IJCAI\u3001AAAI\u3001ACL\u3001EMNLP\u3001<span class=\"\">Topoi<\/span>\u00a0\u7b49\u9876\u7ea7\u4f1a\u8bae\u6216\u671f\u520a\u4e0a\u53d1\u8868\u591a\u7bc7\u8bba\u6587\u3002 \u66fe\u5728 <span class=\"\">IJCAI<\/span>\u3001AAAI \u5927\u4f1a\u4f5c Tutorial \u62a5\u544a\uff0c\u5e76\u5171\u540c\u7ec4\u7ec7 ICLR\u3001AAAI \u5927\u6a21\u578b\u903b\u8f91\u63a8\u7406\u4e3b\u9898\u7814\u8ba8\u4f1a\u3002\u4e2a\u4eba\u4e3b\u9875\uff1a<a href=\"https:\/\/fengxiang-cheng.github.io\u3002\">https:\/\/fengxiang-cheng.github.io<\/a>\u3002<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-01e6bb9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"01e6bb9\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5c4853b\" data-id=\"5c4853b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-a8e14a7 elementor-widget elementor-widget-heading\" data-id=\"a8e14a7\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 8th May, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f928fcf elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f928fcf\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5adb5d2\" data-id=\"5adb5d2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1ea7c79 elementor-widget elementor-widget-toggle\" data-id=\"1ea7c79\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-3211\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-3211\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">AutoML for Spatial-temporal Data: from Raw data to Decisions<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-3211\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-3211\"><p><strong>Speaker<\/strong>: Mitra Baratchi (University of Leiden)<\/p><p><strong>Time<\/strong>: 9:50-12:15, 8 May 2026<\/p><p><strong>Location: <\/strong>\u6e05\u534e\u5927\u5b66\u7b2c\u4e09\u6559\u5b66\u697c\u00a03104\u00a0\u6559\u5ba4<\/p><p><strong>Abstract<\/strong>:<\/p><section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><section>Modern sensing technologies have provided the possibility of sensing the world in a way that has not been possible before, generating massive spatio-temporal data sources. How can we use such data to understand and even change the complex world around us for the better? In this talk, I will discuss unique machine learning challenges in transforming such data into actionable decisions. These challenges call for automated solutions to address various problems, from filling the gaps in the data to filling the gaps in the knowledge acquired from data alone. I will present a few examples of such problems and automated solutions to address them.<\/section><\/section><section><\/section><\/section><\/section><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: Mitra Baratchi leads the Spatio-temporal data Analysis and Reasoning (STAR) research group and is a member of the interdisciplinary research programme Society, Artificial Intelligence and Life Sciences (SAILS). Her research interest lies in spatio-temporal, time-series, and mobility data modelling. Specifically, she designs algorithms that extract patterns from such data in a fully automated manner. Her research targets applications in a broad range of urban, environmental, and industrial domains for which she has collaborations notably with the European Space Agency, Honda Research Institute, various municipalities, and researchers in other scientific disciplines.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-2e0a5d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2e0a5d5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-42d97b3\" data-id=\"42d97b3\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1a44bbe elementor-widget elementor-widget-heading\" data-id=\"1a44bbe\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 17th April, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b6c582a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b6c582a\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-0aefa0b\" data-id=\"0aefa0b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-dbd5090 elementor-widget elementor-widget-toggle\" data-id=\"dbd5090\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2301\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2301\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\"> Towards Reliable Logical Reasoning in Large Foundation Models<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2301\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2301\"><p><strong>Speaker<\/strong>: Jundong Xu (National University of Singapore)<\/p><p><strong>Time<\/strong>: 9:50-12:15, 17 April 2026<\/p><p><strong>Location: <\/strong>\u6e05\u534e\u5927\u5b66\u7b2c\u4e09\u6559\u5b66\u697c\u00a03104\u00a0\u6559\u5ba4<\/p><p><strong>Abstract<\/strong>:<\/p><section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><span data-mpa-action-id=\"mfkkkti5hjp\" data-pm-slice=\"0 0 []\">\u5927\u8bed\u8a00\u6a21\u578b\u867d\u7136\u5c55\u73b0\u51fa\u5f3a\u5927\u7684\u63a8\u7406\u80fd\u529b\uff0c\u4f46\u5176\u903b\u8f91\u63a8\u7406\u4ecd\u7136\u5b58\u5728\u663e\u8457\u7684\u4e0d\u53ef\u9760\u6027\uff0c\u4f8b\u5982\u5bf9\u63d0\u793a\u654f\u611f\u3001\u6613\u53d7\u5e72\u6270\u4ee5\u53ca\u7f3a\u4e4f\u4e00\u81f4\u6027\uff0c\u8fd9\u9650\u5236\u4e86\u5176\u5728\u9ad8\u53ef\u9760\u6027\u573a\u666f\u4e2d\u7684\u5e94\u7528\u3002<\/span><\/section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><span data-mpa-action-id=\"mfkkkti5hjp\" data-pm-slice=\"0 0 []\">\u672c\u62a5\u544a\u56f4\u7ed5\u201c\u5982\u4f55\u5b9e\u73b0\u53ef\u9760\u7684\u903b\u8f91\u63a8\u7406\u201d\u8fd9\u4e00\u6838\u5fc3\u95ee\u9898\uff0c\u4ecb\u7ecd\u4e00\u7cfb\u5217\u795e\u7ecf\u7b26\u53f7\u65b9\u6cd5\u7684\u6f14\u8fdb\u8def\u5f84\uff1a\u4ece <span class=\"\">SymbCoT<\/span> \u5c06\u7b26\u53f7\u63a8\u7406\u878d\u5165\u8bed\u8a00\u751f\u6210\u8fc7\u7a0b\uff0c\u5230 Aristotle \u5f15\u5165\u53ef\u56de\u6eaf\u7684\u591a\u8def\u5f84\u63a8\u7406\u6846\u67b6\uff0c\u518d\u5230 LogicReward \u901a\u8fc7\u5b66\u4e60\u673a\u5236\u5bf9\u9f50\u903b\u8f91\u6b63\u786e\u6027\uff0c\u9010\u6b65\u63d0\u5347\u6a21\u578b\u63a8\u7406\u7684\u53ef\u9760\u6027\u3002\u6700\u540e\uff0c\u6211\u4eec\u8fdb\u4e00\u6b65\u5c06\u8be5\u8303\u5f0f\u6269\u5c55\u5230\u591a\u6a21\u6001\u573a\u666f\uff0c\u4ecb\u7ecd MuSLR \u5728\u590d\u6742\u8f93\u5165\u4e0b\u7684\u63a8\u7406\u80fd\u529b\u3002<\/span><\/section><section data-mpa-action-id=\"mnwx74fbe2k\" data-pm-slice=\"0 0 []\"><span data-mpa-action-id=\"mfkkkti5hjp\" data-pm-slice=\"0 0 []\">\u6574\u4f53\u4e0a\uff0c\u8fd9\u4e9b\u5de5\u4f5c\u5c55\u793a\u4e86\u4e00\u6761\u4ece\u63d0\u793a\u7ea7\u65b9\u6cd5\u5230\u7ed3\u6784\u5316\u63a8\u7406\u518d\u5230\u5b66\u4e60\u9a71\u52a8\u4f18\u5316\u7684\u7edf\u4e00\u8def\u5f84\uff0c\u4e3a\u6784\u5efa\u53ef\u9760\u7684\u5927\u6a21\u578b\u63a8\u7406\u7cfb\u7edf\u63d0\u4f9b\u4e86\u65b0\u7684\u601d\u8def\u3002<\/span><\/section><\/section><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: \u5f90\u4fca\u4e1c\uff08<a href=\"https:\/\/aiden0526.github.io\/\">https:\/\/aiden0526.github.io\/<\/a>\uff09\uff0c\u65b0\u52a0\u5761\u56fd\u7acb\u5927\u5b66\u8ba1\u7b97\u673a\u7cfb\u535a\u58eb\u4e00\u5e74\u7ea7\uff0c\u4e3b\u8981\u7814\u7a76\u65b9\u5411\u662f\u5927\u6a21\u578b\u7684\u63a8\u7406\u80fd\u529b\uff0c\u5305\u62ec\u5927\u6a21\u578b\u7684\u4e25\u8c28\u903b\u8f91\u63a8\u7406\uff0c\u7b26\u53f7\u63a8\u7406\u3002\u4ed6\u81f4\u529b\u4e8e\u63a2\u7d22\u5982\u4f55\u80fd\u8ba9\u5927\u6a21\u578b\u7684\u63a8\u7406\u8fc7\u7a0b\u66f4\u53ef\u4fe1\u548c\u53ef\u9a8c\u8bc1\u3002\u4ed6\u4f5c\u4e3a\u7b2c\u4e00\u4f5c\u8005\u5728 <span class=\"\">Neuro-Symbolic<\/span> \u9886\u57df\u7684\u591a\u9879\u7814\u7a76\u6210\u679c\u5df2\u53d1\u8868\u4e8e NeurIPS\u3001ICLR\u3001<span class=\"\">ACL<\/span>\u3001AAAI \u7b49\u4eba\u5de5\u667a\u80fd\u9876\u7ea7\u4f1a\u8bae\uff0c\u5e76\u83b7\u5f97 AAAI 2026 Symbolic and Logical Reasoning Workshop Best Paper Award\u3002<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-2db88fd elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2db88fd\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e3d03dd\" data-id=\"e3d03dd\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-11273b2 elementor-widget elementor-widget-heading\" data-id=\"11273b2\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 26th March, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-ce015d0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"ce015d0\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-8a8168d\" data-id=\"8a8168d\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8d365dc elementor-widget elementor-widget-toggle\" data-id=\"8d365dc\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1481\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1481\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\"> Resolution Chain-of-Thought for LLM Symbolic Reasoning, Yixiang Chen (East China Normal University)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1481\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1481\"><p>Resolution Chain-of-Thought for LLM Symbolic Reasoning<\/p><p><strong>Speaker<\/strong>: Yixiang Chen (East China Normal University)<\/p><p><strong>Time<\/strong>: 16:00-17:30, 26 March 2026<\/p><p><strong>Abstract<\/strong>:<\/p><section><span data-mpa-action-id=\"mfkkkti5hjp\" data-pm-slice=\"0 0 []\">Large language models still struggle with complex logical reasoning. Numerous studies have explored ways to strengthen their inference skills, broadly grouped into solver-based, prompt-based, and fine-tuning approaches. Among these, prompting techniques improve LLMs by explicitly modeling reasoning chains like Chain-of-Thought (CoT), Tree-of-Thought (ToT), by acquiring symbolic expressions such as SymbCoT and by adaptive selection of Symbolic Languages (SL).<\/span><\/section><section><\/section><section><span data-mpa-action-id=\"mfkkkti5hjp\" data-pm-slice=\"0 0 []\">Building on this line of work, we introduce bidirectional reasoning into the improved method and implement an automated reasoning process based on the generation of large language models through the design of prompt words. Technically, Bi-Resolution first converts the natural language problem into first-order logic formulation, and selects the corresponding version of resolution algorithm. During resolution, bidirectional reasoning guides constraint instantiation to prune redundant clauses and reduce complexity. Bi-Resolution enables the model to judge statements that are \u201cneither fully true nor fully false\u201d more accurately. Experimental results show that our method successfully improves the logical inference accuracy of large language models.<\/span><\/section><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: Professor Yixiang Chen, a professor at the School of Software Engineering, East China Normal University, currently serves as the first Chair of the Artificial Intelligence Logic Committee of the Chinese Association for Artificial Intelligence, the first Chair of the Trusted Intelligent Systems Committee of the Shanghai Association for Artificial Intelligence. He is engaged in foundational and engineering research on the trustworthiness of artificial intelligence. He has established the spatio-temporally consistent intelligent system specification language STeC and its hybrid clock logic system, designed technical methods for the optimized hardware and software design of intelligent systems, and developed multidimensional attribute-based software trustworthiness measurement, evaluation methods, and enhancement specifications.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-d6297b9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d6297b9\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4d478a8\" data-id=\"4d478a8\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-644badd elementor-widget elementor-widget-heading\" data-id=\"644badd\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence, lectures] 26th February, 6th March, 13th March, 2026:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b8e80b6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b8e80b6\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-d18bc32\" data-id=\"d18bc32\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-a883ea9 elementor-widget elementor-widget-toggle\" data-id=\"a883ea9\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1761\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1761\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">Probabilistic Causal Models, Algorithms for Causal Learning, and Foundations of Causal Learning | Hanti Lin (UC Davis)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1761\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1761\"><p><strong><em>Probabilistic Causal Models<\/em><\/strong><\/p><p><strong>Speaker<\/strong>: Hanti Lin<\/p><p><strong>Time<\/strong>: 9:50-12:15, 27 February 2026<\/p><p><strong><em>Algorithms for Causal Learning<\/em><\/strong><\/p><p><strong>Speaker<\/strong>: Hanti Lin<\/p><p><strong>Time<\/strong>: 9:50-12:15, 6 March 2026<\/p><p><strong><em>Probabilistic Causal Models<\/em><\/strong><\/p><p><strong>Speaker<\/strong>: Hanti Lin<\/p><p><strong>Time<\/strong>: 9:50-12:15, 13 March 2026<\/p><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: Hanti Lin\u00a0is a philosopher of science and formal epistemologist, with papers published in philosophy as well as theoretical computer science. Before he joined UC Davis, he was a postdoc at the Australian National University.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-d2c74b5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d2c74b5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-c0e42e1\" data-id=\"c0e42e1\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-58694b2 elementor-widget elementor-widget-heading\" data-id=\"58694b2\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[Advances in Logic and Artificial Intelligence] 18th September, 2025:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-e7e44a6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"e7e44a6\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e8a0578\" data-id=\"e8a0578\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d3d5723 elementor-widget elementor-widget-toggle\" data-id=\"d3d5723\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2221\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2221\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\"> Towards Logical and Causal Reasoning of Large Language Models, Haoxuan Li (Peking University)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2221\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2221\"><p><strong><em>Towards Logical and Causal Reasoning of Large Language Models<\/em><\/strong><\/p><p><strong>Speaker<\/strong>: Haoxuan Li (Peking University)<\/p><p><strong>Time<\/strong>: 16:00-17:30, 18 September 2025<\/p><p><strong>Abstract<\/strong>:<\/p><p style=\"font-weight: 400;\">Large language\u00a0models\u00a0(LLMs) have achieved remarkable successes in various natural language tasks, but still have significant limitations to their logical and causal reasoning abilities. In this talk, we first comprehensively introduce the most cutting-edge LLM logical reasoning approaches with a proposed new taxonomy. Specifically, to accurately answer complex logic questions, previous methods can be categorized based on reliance on external solvers, prompts, and fine-tuning. To avoid logical contradictions, we discuss concepts and solutions of various logical consistencies, including implication, negation, transitivity, factuality consistencies, and their composites. Secondly, we discuss the benefits of introducing causality into LLM reasoning, in which the\u00a0key insight is that correlation does not necessarily\u00a0imply causation. For example, there is high ice cream sales and crime rates in summer, but this does not indicate that ice cream sales have a causal influence\u00a0on crime rates.\u00a0We conclude that logical rules can be regarded as the causal invariance of LLM reasoning\u00a0based on\u00a0natural language examples.<\/p><p>=====<\/p><p style=\"font-weight: 400;\">Speaker Bio: Haoxuan Li is an assistant researcher at Peking University, also as research fellow at Tsinghua-UvA Joint Research Center for Logic and the University of Oxford. He graduated\u00a0from\u00a0the\u00a0experimental class for gifted children in Beijing No.8 Middle School, which enables him to pursue his PhD at the age of 19. His research interests include causal inference and logical reasoning of\u00a0large language\u00a0models, and has more than 50 publications as the first author or the corresponding\u00a0author appeared in top-tier CCF-A conferences, reported by MIT Technology Review and CAAI. Moreover, he is supported by the Young Scientists Fund of the National Natural Science Foundation of China (\u00a5300,000) and Young Elite Scientists Sponsorship Program by CAST &#8211; Doctoral Student Special Plan (via CCF). He has been selected as the 2024 Peking University Person of the Year and representative of National Scholarship reported by People&#8217;s Daily.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-704429b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"704429b\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-ef54301\" data-id=\"ef54301\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c375fac elementor-widget elementor-widget-heading\" data-id=\"c375fac\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">[TALK] 18th May, 2025:<\/h4>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-5744446 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5744446\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-bd03889\" data-id=\"bd03889\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8e44203 elementor-widget elementor-widget-toggle\" data-id=\"8e44203\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1491\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1491\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\"> Developing And Assessing Language Models For Logical Reasoning Over Natural Language, Qiming Bao (University of Auckland)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1491\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1491\"><p><strong><em>Developing And Assessing Language Models For Logical Reasoning Over Natural Language<\/em><\/strong><\/p><p><strong>Speaker<\/strong>: Qiming Bao (University of Auckland)<\/p><p><strong>Time<\/strong>: 10:00 AM, 18 May 2025<\/p><p><strong>Abstract<\/strong>: Recent advancements in AI have highlighted the importance of integrating deep learning with symbolic logic reasoning. Language models such as RoBERTa, DeBERTa, LLaMA, Alpaca, Vicuna, GPT-3.5, and GPT-4 have advanced the performance of AI systems in various natural language processing tasks to human-like levels. However, the generalization of language models in logical reasoning remains underexplored. One of the main reasons is the limitation posed by the lack of extensive, balanced, and real-world datasets for logical reasoning. This presentation has three research objectives, addressing the main research gap\/limitation:<br \/>To improve the models&#8217; out-of-distribution performance on multi-step logical reasoning tasks through logic-driven data augmentation.<br \/>To enhance the models&#8217; performance on real-world logical reasoning datasets by constructing an Abstract Meaning Representation based logic-driven data augmentation method.<br \/>Although large language models demonstrate impressive performance on current logical reasoning leaderboards, it remains underexplored whether they truly possess strong capabilities in logical reasoning.<br \/>The first part of the presentation focuses on improving language models&#8217; ability in multi-step logical reasoning, particularly when faced with unbalanced reasoning steps. Inspired by DeepLogic, we present IMA-GloVe-GA, an RNN-based model with a gate attention mechanism, developed to accommodate varying reasoning depths. This is facilitated by our PARARULE-Plus dataset, created for deeper reasoning tasks. Our results show notable enhancements in model performance under both standard and out-of-distribution conditions.<br \/>The second part of the presentation focuses on generating diverse training data to address the scarcity of real-world logical reasoning datasets and enhance large language models (LLMs) for logical reasoning tasks. We introduce AMR-LDA, a data augmentation method that converts text into Abstract Meaning Representation (AMR) graphs, improving reasoning datasets. This approach benefits various models, including GPT-3.5 and GPT-4, and improves performance, notably achieving the top rank on the ReClor leaderboard.<br \/>The third part of the presentation examines how Large Language Models (LLMs) like GPT-3.5 and GPT-4 respond to trivial changes in logical reasoning datasets. We created ReClor-plus, LogiQA-plus, and LogiQAv2-plus, which include shuffled options and modified correct choices to test LLMs&#8217; logical reasoning. Although LLMs excel on standard datasets, they exhibit degraded performance with these modified versions. Our findings reveal that incorporating task variations, perturbations in training sets, and logic-driven data augmentation significantly enhances LLMs&#8217; generalisation and robustness in logical reasoning scenarios.<br \/>This presentation explores several different approaches to demonstrate a more robust QA system that aids computers in thinking and reasoning over natural language texts through logical reasoning. Our methods have been evaluated and now lead the public logical reasoning leaderboard, ReClor. We are the first group in the world to have scored above 90% on the ReClor hidden test set.<\/p><p><strong>About the speaker<\/strong>: Qiming Bao is a Ph.D. graduated from the Strong AI Lab, NAOInstitute, University of Auckland, New Zealand, supervised by Professor Michael Witbrock and Associate Professor Jiamou Liu. His research interests include natural language processing and reasoning. He has over five years of research and development experience, and has published several papers in top conferences in the fields of AI\/NLP\/Reasoning, including ACL, AAAI, IJCAI, ICLR, EACL, LLM@IJCAI, AGI@ICLR and IJCLR-NeSy. His method named AMR-LDA (GPT-4 + AMR-LDA Prompt Augmentation) has achieved the #1 ranking on a one of the most challenged logical reasoning reading comprehension leaderboards (ReClor) and we are the first group scored above 90% on the hidden test set around the world. Two of his logical reasoning datasets called PARARULE-Plus and AbductionRules have been collected by LogiTorch, ReasoningNLP, Prompt4ReasoningPapers, OpenAI\/Evals, A Survey on Evaluation of Large Language Models and Reasoning Language Models: A Blueprint. Qiming has given public guest talks and academic visit at Microsoft Research Asia, Samsung AI Center Cambridge UK, IEEE Vehicular Technology Society, ZJU-NLP Group, Zhejiang University, The University of Melbourne, Institute of Automation, Chinese Academy of Sciences, Shenzhen MSU-BIT University, University of Massachusetts &#8211; Amherst and Penn State University on his main research topic, &#8220;Natural Language Processing and Reasoning&#8221;.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>[Advances in Logic and Artificial Intelligence] 29th Ma [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8024"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=8024"}],"version-history":[{"count":37,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8024\/revisions"}],"predecessor-version":[{"id":10269,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8024\/revisions\/10269"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=8024"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}