1 code implementation • 14 Feb 2024 • Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng
We built a neural-symbolic system, called FGeoDRL, to automatically perform human-like geometric deductive reasoning.
no code implementations • 14 Feb 2024 • Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence.
no code implementations • 22 Jan 2024 • Hong Guan, Summer Gautier, Deepti Gupta, Rajan Hari Ambrish, Yancheng Wang, Harsha Lakamsani, Dhanush Giriyan, Saajan Maslanka, Chaowei Xiao, Yingzhen Yang, Jia Zou
It is challenging to balance the privacy and accuracy for federated query processing over multiple private data silos.
1 code implementation • 27 Oct 2023 • Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Qike Huang, Xiaoxiao Jin, Yanjun Guo, Chenyang Mao, Yang Li, Zhe Zhu, Dengfeng Yue, Fangzhen Zhu, Yifan Wang, Yiwen Huang, Runan Wang, Cheng Qin, Zhenbing Zeng, Shaorong Xie, Xiangfeng Luo, Tuo Leng
In this paper, we have constructed a consistent formal plane geometry system.
no code implementations • 7 Oct 2023 • Alexandre Eichenberger, Qi Lin, Saif Masood, Hong Min, Alexander Sim, Jie Wang, Yida Wang, Kesheng Wu, Binhang Yuan, Lixi Zhou, Jia Zou
Serving deep learning (DL) models on relational data has become a critical requirement across diverse commercial and scientific domains, sparking growing interest recently.
no code implementations • 9 Feb 2023 • Hong Guan, Mahidhar Reddy Dwarampudi, Venkatesh Gunda, Hong Min, Lei Yu, Jia Zou
In addition, the relation-centric representation we proposed significantly improved netsDB's performance in handling large-scale models, while the model reuse optimization we proposed further improved netsDB's performance in handling small-scale datasets.
no code implementations • 1 Jun 2022 • Lixi Zhou, Arindam Jain, Zijie Wang, Amitabh Das, Yingzhen Yang, Jia Zou
Deep learning has become the most popular direction in machine learning and artificial intelligence.
no code implementations • 15 Oct 2020 • Zijie Wang, Lixi Zhou, Amitabh Das, Valay Dave, Zhanpeng Jin, Jia Zou
Data is the king in the age of AI.
no code implementations • 13 Oct 2020 • Lixi Zhou, Zijie Wang, Amitabh Das, Jia Zou
However, preparation of training data is often a bottleneck in the lifecycle of deploying a deep learning model for production or research.
no code implementations • 1 Sep 2020 • Binhang Yuan, Dimitrije Jankov, Jia Zou, Yuxin Tang, Daniel Bourgeois, Chris Jermaine
This implementation abstraction provides little built-in support for ML systems to scale past a single machine, or for handling large models with matrices or tensors that do not easily fit into the RAM of an ASIC.
no code implementations • 25 Apr 2019 • Dimitrije Jankov, Shangyu Luo, Binhang Yuan, Zhuhua Cai, Jia Zou, Chris Jermaine, Zekai J. Gao
A number of popular systems, most notably Google's TensorFlow, have been implemented from the ground up to support machine learning tasks.