{"id":"https://openalex.org/W7163984467","doi":"https://doi.org/10.1145/3798129.3800766","title":"Learning CNF Formulas from Uniform Random Solutions in the Local Lemma Regime","display_name":"Learning CNF Formulas from Uniform Random Solutions in the Local Lemma Regime","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W7163984467","doi":"https://doi.org/10.1145/3798129.3800766"},"language":null,"primary_location":{"id":"doi:10.1145/3798129.3800766","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800766","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3798129.3800766","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045563094","display_name":"Weiming Feng","orcid":"https://orcid.org/0000-0003-4636-1023"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Weiming Feng","raw_affiliation_strings":["University of Hong Kong, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0003-4636-1023","affiliations":[{"raw_affiliation_string":"University of Hong Kong, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015342186","display_name":"Xiongxin Yang","orcid":"https://orcid.org/0000-0002-0180-3695"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiongxin Yang","raw_affiliation_strings":["University of California Santa Barbara, Santa Barbara, USA"],"raw_orcid":"https://orcid.org/0000-0002-0180-3695","affiliations":[{"raw_affiliation_string":"University of California Santa Barbara, Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102447002","display_name":"Yixiao Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixiao Yu","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-9222-4826","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101491849","display_name":"Yiyao Zhang","orcid":"https://orcid.org/0009-0000-8363-1219"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiyao Zhang","raw_affiliation_strings":["Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-8363-1219","affiliations":[{"raw_affiliation_string":"Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5045563094"],"corresponding_institution_ids":["https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.96114618,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"478","last_page":"488"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.32679998874664307,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.32679998874664307,"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/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.12690000236034393,"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/T10057","display_name":"Face and Expression Recognition","score":0.04859999939799309,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.4244000017642975},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.31630000472068787},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.26579999923706055},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.25029999017715454},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.24799999594688416}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5889000296592712},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.4244000017642975},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3476000130176544},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33820000290870667},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32899999618530273},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.25029999017715454},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.24799999594688416},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.24709999561309814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3798129.3800766","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800766","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3798129.3800766","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3798129.3800766","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 58th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W1517311456","https://openalex.org/W1559492868","https://openalex.org/W1838647306","https://openalex.org/W1969880349","https://openalex.org/W1982687752","https://openalex.org/W2000931246","https://openalex.org/W2008771827","https://openalex.org/W2010193278","https://openalex.org/W2020712580","https://openalex.org/W2021015114","https://openalex.org/W2029058452","https://openalex.org/W2033049828","https://openalex.org/W2050570613","https://openalex.org/W2054358802","https://openalex.org/W2056329899","https://openalex.org/W2072870176","https://openalex.org/W2092471643","https://openalex.org/W2099111195","https://openalex.org/W2108446739","https://openalex.org/W2108829665","https://openalex.org/W2109693504","https://openalex.org/W2139507176","https://openalex.org/W2157754126","https://openalex.org/W2160163251","https://openalex.org/W2163166770","https://openalex.org/W2210079048","https://openalex.org/W2938658492","https://openalex.org/W2951511034","https://openalex.org/W2952323594","https://openalex.org/W2962726369","https://openalex.org/W2963266994","https://openalex.org/W2963572639","https://openalex.org/W3006831707","https://openalex.org/W3034032055","https://openalex.org/W3131302681","https://openalex.org/W3136073727","https://openalex.org/W3172297973","https://openalex.org/W3172579838","https://openalex.org/W3178152149","https://openalex.org/W3194925747","https://openalex.org/W3200883154","https://openalex.org/W3203800035","https://openalex.org/W4214939553","https://openalex.org/W4238893454","https://openalex.org/W4294237690","https://openalex.org/W4313227175","https://openalex.org/W4316652410","https://openalex.org/W4316652433","https://openalex.org/W4387167299","https://openalex.org/W4390575864","https://openalex.org/W4399521743","https://openalex.org/W4403901600","https://openalex.org/W4404849178","https://openalex.org/W4411319754","https://openalex.org/W4411319806","https://openalex.org/W4411319883","https://openalex.org/W4411319980","https://openalex.org/W4414790002","https://openalex.org/W4417488204","https://openalex.org/W7110018130","https://openalex.org/W7128627632"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-10T14:10:52.464848","created_date":"2026-06-10T00:00:00"}