Chao Lei
- Novelty and Lifted Helpful Actions in Generalized Planning
2023/07/03 by Chao Lei, Lei, Chao, Nir Lipovetzky +3 · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Robotic Path Planning Algorithms
- Planning-Driven Programming: A Large Language Model Programming Workflow
2024/11/21 by Chao Lei, Lei, Chao, Yanchuan Chang +5 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
- Moiré band theory for M-valley twisted transition metal dichalcogenides
2024/11/28 by Chao Lei, Lei, Chao, Perry T. Mahon +3 · 2 citations
Materials Science · #2D Materials and Applications #FOS: Physical sciences #Ga2O3 and related materials #Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
- Ideal Weak Topological Insulator and Protected Helical Saddle Points
2023/01/30 by Ji Seop Oh, Oh, Ji Seop, Tianyi Xu +35 · 1 citation
Earth and Planetary Sciences · Physics and Astronomy · #Cold Atom Physics and Bose-Einstein Condensates #FOS: Physical sciences #High-pressure geophysics and materials #Materials Science (cond-mat.mtrl-sci) #Topological Materials and Phenomena
- Pressure tunable quantum anomalous Hall states in a topological antiferromagnet
2023/06/17 by Su Kong Chong, Chao Lei, Chong, Su Kong +19 · 1 citation
Materials Science · Physics and Astronomy · #Atomic and Subatomic Physics Research #Diamond and Carbon-based Materials Research #FOS: Physical sciences #Mesoscale and Nanoscale Physics (cond-mat.mes-hall) #Topological Materials and Phenomena
- Generalized Planning for the Abstraction and Reasoning Corpus
2024/01/15 by Chao Lei, Lei, Chao, Nir Lipovetzky +3 · 2 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies