Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.
Abstract: Satellite Internet technology is currently booming. Due to the high cost of satellites and the limited number of orbits, a satellite must cover a large area and serve more users than before.
Abstract: Space non-cooperative object detection is a key technology for on-orbit mission. At present, the space non-cooperative object detection method based on machine learning improves the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results