Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jialiang Sun
Observed name:
Sun, Jialiang
Institution:
University of Toronto
Observed institutions:
Hebei University of Engineering,
University of Toronto,
Harbin Institute of Technology,
Nankai University,
Zhejiang University,
Dalian Polytechnic University
show all 6
ORCID:
0000-0002-3320-9068
Observed ORCID:
0000-0002-3320-9068
OpenAlex ID:
A5103325295
CRISPR-M: Predicting sgRNA off-target effect using a multi-view deep learning network
2024
·
Jialiang Sun
, Jun Guo
, et al.
·
PLoS Computational Biology
·
36
PDF
PhiHER2: phenotype-informed weakly supervised model for HER2 status prediction from pathological images
2024
·
Chaoyang Yan
, Jialiang Sun
, et al.
·
Bioinformatics
·
10
A Survey on Deep Learning for Theorem Proving
2024
·
Li, Zhaoyu
, Sun, Jialiang
, et al.
·
arXiv (Cornell University)
·
10
PDF
Jointly Integrating VCF-Based Variants and OWL-Based Biomedical Ontologies in MongoDB
2019
·
Jian Liu
, Zhi Qu
, et al.
·
IEEE Transactions on Computational Biology and Bioinformatics
·
8
An interactive framework integrating segment anything model and structure-from-motion for three-dimensional discontinuity identification in rock masses
2025
·
Jiawei Wang
, Jun Zheng
, et al.
·
International Journal of Mining Science and Technology
·
4
Research on the coupling system of phase change heat storage in solar collectors and dual-source heat pump
2025
·
Jiankai Tang
, Aoran Cui
, et al.
·
Thermal Science and Engineering Progress
·
1
Autoformalizing Euclidean Geometry
2024
·
Murphy, Logan
, Yang, Kaiyu
, et al.
·
arXiv (Cornell University)
·
1
PDF
CHASOS: A Novel Deep Learning Approach for Chromatin Loop Predictions
2024
·
Jialiang Sun
, Jun Guo
, et al.
·
Lecture notes in computer science
·
1
Optimization of Sensor Arrays for the Identification of Abalone Flavoring Liquids
2020
·
Yan Lv
, Peng Zhang
, et al.
·
Journal of New Materials for Electrochemical Systems
·
1
PDF
SAT-RL: Training Language Models for Logical Reasoning with Symbolic Solvers
2026
·
Sun, Jialiang
, Meel, Kuldeep
·
arXiv (Cornell University)
PDF
Provably Tractable NFA-Constrained Language Generation via HMMs
2026
·
Sun, Jialiang
, Meel, Kuldeep
·
arXiv (Cornell University)
PDF
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
2026
·
Zhang, Youyuan
, Sun, Jialiang
, et al.
·
arXiv (Cornell University)
PDF
Research on Grasping Kinematics Optimization and Multi-Objective Grasping Mobile Path Planning of Warehousing Robot
2025
·
Jialiang Sun
, Wenyu Liu
, et al.
·
International Conference on Power, Electrical Engineering, Electronics and Control (PEEEC)
Formally Solving Answer-Construction Problems in Lean
2025
·
Sun, Jialiang
, Tang, Yuzhi
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
14
Citation count:
72
H-index:
4
I10-index:
3
Year
Topic
Type
