Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Taolue Chen
Map detail
Taolue Chen27 visible / 27 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onTaolue ChenATaolue ChenResearcherFair Conformal Classification via Learning Representation-Based GroupsWFair Conformal Classifi...preprint / 2026Task Abstention for Large Language Models in Code GenerationWTask Abstention for Lar...preprint / 2026Uncertainty Quantification for LLM-based Code GenerationWUncertainty Quantificat...preprint / 2026Yanke ZhouAYanke ZhouResearcherSenrong XuASenrong XuResearcherYuan YaoAYuan YaoResearcherGuangyuan WuAGuangyuan WuResearcherFeng XuAFeng XuResearcherYuhao TanAYuhao TanResearcherXiaoxing MaAXiaoxing MaResearcherZenan LiAZenan LiResearcherZenan LiAZenan LiResearcherYuan YaoAYuan YaoResearcherFeng XuAFeng XuResearcherSoftware EngineeringTSoftware Engineering3620 worksArtificial IntelligenceTArtificial Intelligence22915 worksA Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data TypeWA Decision Procedure fo...preprint / 2020Model Checking Stochastic Branching ProcessesWModel Checking Stochast...preprint / 2012Orbit Problem RevisitedWOrbit Problem Revisitedpreprint / 2013On the Total Variation Distance of Labelled Markov ChainsWOn the Total Variation ...preprint / 2014Model Checking of Continuous-Time Markov Chains Against Timed Automata SpecificationsWModel Checking of Conti...preprint / 2011Machine LearningTMachine Learning49008 worksSolvency Markov Decision Processes with InterestWSolvency Markov Decisio...preprint / 2013Learning Safe Neural Network Controllers with Barrier CertificatesWLearning Safe Neural Ne...preprint / 2020Finger Texture Biometric Characteristic: a SurveyWFinger Texture Biometri...preprint / 2020Test Reuse Based on Adaptive Semantic Matching across Android Mobile ApplicationsWTest Reuse Based on Ada...preprint / 2023
Person19 links

Taolue Chen

Researcher