Abstract: Generative pre-trained large language models (LLMs) can create domain-specific text answers in various formats like JSON, XML, HTML, SQL, or programming languages. However, LLMs may “hallucinate,” generating incorrect or nonsensical answers that diverge from reality, thus eroding trust in their outputs or worse. Disclosed techniques use a sampling-based approach and an equivalence checker. Multiple answers (samples) to a prompt are generated by the LLM; if they are equivalent, the LLM is likely answering correctly. If the samples disagree or contradict, it's more likely that the LLM is hallucinating, or the prompt is ambiguous. An automated reasoning equivalence checker is utilized to verify the samples' functional equivalency, providing a method to detect and possibly rectify hallucination issues in LLM-generated answers.

Abstract: A control panel comprising a display configured to display a quick response (QR) code, and a processing circuit having a processor and a memory having computer-executable instructions embodied therein that, when executed by the processor cause the processing circuit to perform operations. The operations comprise receiving, from a plurality of systems associated with a building, building data, and encoding the QR code based on the building data such that the QR code changes responsive to changes in the building data, wherein the changes in the QR cause the QR code to provide different interfaces or applications when scanned by a user device.

Abstract: In some embodiments, the present invention provides for a computer system which includes at least the following components: a plurality of computing devices associated with a plurality of users associated with a plurality of users; where each computing device of the plurality of computing devices is configured to: electronically receive software which, when being executed, cause such computing device to display a plurality of instances of a specifically programmed graphical user interface (GUI); where each instance of the GUI is configured to display a real-time updatable meeting information representative of a direct electronic proximity-based communication between at least two computing devices associated with at least two users who desire to meet at a particular location to engage in a transaction of at least one good, at least one service, or both, whose marketable value lasts for a period of 30 seconds to 60 minutes.

Abstract: Methods for reducing an amount of calcium carbonate deposited on a surface of an offline condenser in a cooling system of a nuclear power plant, which include filling the offline condenser with a mixture comprising water and acetic acid and pumping the mixture through the offline condenser so as to contact the deposited calcium carbonate with the acetic acid. An amount of the acetic acid in the mixture is 1 to 25 wt %, and a temperature of the mixture is in a range of 10 to 50° C.

Abstract: Disclosed herein is an implantable medical device including a housing, a header, a connector port, and a collet assembly. The header can be arranged with the housing. The connector port can be arranged within the header and configured to couple an implantable lead to the header. The collet assembly can be arranged within the connector port and configured to frictionally engage a portion of the implantable lead and to secure the implantable lead with the header in response to insertion of the portion of the implantable lead into the connector port.

Abstract: A facet joint replacement system includes a facet joint replacement device including an enclosing body and an articulating body. The enclosing body includes an interior surface defining an inner cavity of the enclosing body. The interior surface includes a first articulating surface and a projection extending inwardly relative to a surrounding area of the interior surface. The articulating body is positioned within the inner cavity of the enclosing body and is configured to move within the enclosing body. The articulating body includes a second articulating surface and a recess extending inwardly relative to a surrounding area of the articulating body and aligned with the projection of the interior surface of the enclosing body so as to allow movement of the projection along the recess of the enclosing body while constraining rotational motion of the articulating body within the enclosing body.

Abstract: Charging control systems and methods are provided for controlling noise emission levels when charging an electrified vehicle. The nose emission levels may be controlled based on one or more user-defined rules associated with a custom quiet zone. The charging control systems may include one or more user interfaces designed to allow users to establish the user-defined rules which bound the custom quiet zone.

Abstract: In some embodiments, the present invention provides for a computer system which includes at least the following components: a plurality of computing devices associated with a plurality of users associated with a plurality of users; where each computing device of the plurality of computing devices is configured to: electronically receive software which, when being executed, cause such computing device to display a plurality of instances of a specifically programmed graphical user interface (GUI); where each instance of the GUI is configured to display a real-time updatable meeting information representative of a direct electronic proximity-based communication between at least two computing devices associated with at least two users who desire to meet at a particular location to engage in a transaction of at least one good, at least one service, or both, whose marketable value lasts for a period of 30 seconds to 60 minutes.

Abstract: Techniques for encoding quantum circuit mapping problems as SAT solver optimization problems are disclosed. Quantum circuit mapping often requires the use of SWAP gates in order to configure logical quantum computations to be executed using fixed quantum hardware device layouts. A quantum compilation service takes a logical quantum circuit, a physical qubit connectivity graph, and a requested number of SWAP gates to solve the mapping using and encodes the information into a Conjunctive Normal Form (CNF) equation using a layout-transition-based encoding scheme. The CNF equation is then provided to a SAT solver which attempts to determine an assignment for the mapping using the set number of SWAP gates requested. Multiple CNF equations corresponding to different requested numbers of SWAP gates may be solved for in parallel using multiple SAT solving instances.

Abstract: In some embodiments, the present invention provides for a computer system which includes at least the following components: a plurality of computing devices associated with a plurality of users associated with a plurality of users; where each computing device of the plurality of computing devices is configured to: electronically receive software which, when being executed, cause such computing device to display a plurality of instances of a specifically programmed graphical user interface (GUI); where each instance of the GUI is configured to display a real-time updatable meeting information representative of a direct electronic proximity-based communication between at least two computing devices associated with at least two users who desire to meet at a particular location to engage in a transaction of at least one good, at least one service, or both, whose marketable value lasts for a period of 30 seconds to 60 minutes.

Abstract: An insert device for receiving an artistic medium thereon for use with a lampshade. The device may include an insert configured to be used in association with a lampshade. The insert may include a first side and a second side. A design may be located on the first side of the insert, where the insert with the design is configured to be drawn on using an artistic implement. The insert may be made from a translucent material that is capable of receiving and retaining an artistic medium thereon. The artistic medium can be erased or otherwise removed from the translucent material. The design on the insert may be used in association with a lampshade such that it is exposed for viewing in association with the lampshade when the insert is in a three-dimensional shape.

Abstract: Various aspects of the present disclosure are directed toward apparatuses, systems and methods for connecting a lead to an implantable medical device. The apparatuses, systems and methods may include a clamp arranged within a connector port configured to secure the lead with a header in response to frictional engagement between a portion of the implantable lead and the clamp.

Abstract: In some embodiments, the present invention provides for a computer system which includes at least the following components: a plurality of computing devices associated with a plurality of users associated with a plurality of users; where each computing device of the plurality of computing devices is configured to: electronically receive software which, when being executed, cause such computing device to display a plurality of instances of a specifically programmed graphical user interface (GUI); where each instance of the GUI is configured to display a real-time updatable meeting information representative of a direct electronic proximity-based communication between at least two computing devices associated with at least two users who desire to meet at a particular location to engage in a transaction of at least one good, at least one service, or both, whose marketable value lasts for a period of 30 seconds to 60 minutes.

Abstract: The present disclosure provides a set of primers and optional probes for identifying the presence of MPOX virus, Clade II, which can be included with (e.g., in at kit) or in a cartridge for automated detection of these pathogens by nucleic acid amplification. This disclosure also provides related detection methods, as well as cartridges, systems, and kits useful in such methods.

Abstract: Embodiments of the disclosure provide a structure and canopy for mounting of a photovoltaic panel. A structure of the disclosure may provide a rail mounting clip including a first segment shaped for mounting on a purlin surface, a second segment at a lateral end of the first segment and extending perpendicularly outwardly therefrom. A rail assembly is coupled to the rail mounting clip and has a slot substantially aligned with a centerline axis of the rail assembly. The slot receives the second segment of the rail mounting clip, and the rail assembly is shaped for mounting a photovoltaic panel thereon.

Abstract: Techniques are described for providing a SAT-based solver for a quantifier-free theory of strings and bit vectors. The solver can be used by an automated reasoning service of a cloud provider network to analyze policies and the consequences of policies. The solver reduces an input formula to a Boolean satisfiability problem by encoding the input formula into an equisatisfiable propositional formula, where the satisfiability of the equisatisfiable propositional formula is determined by a SAT solver. Rather than using a traditional DPLL(T) style algorithm, the solver described herein bounds the length of variables in an input formula and reduces the problem to a single formula, which can then be solved using incremental SAT solving. The solver can be used independently or as part of a portfolio of solvers used to determine the satisfiability or unsatisfiability of certain formula corresponding, e.g., to questions about users' policies within a cloud provider network.

Abstract: In some embodiments, the present invention provides for a computer system which includes at least the following components: a plurality of computing devices associated with a plurality of users associated with a plurality of users; where each computing device of the plurality of computing devices is configured to: electronically receive software which, when being executed, cause such computing device to display a plurality of instances of a specifically programmed graphical user interface (GUI); where each instance of the GUI is configured to display a real-time updatable meeting information representative of a direct electronic proximity-based communication between at least two computing devices associated with at least two users who desire to meet at a particular location to engage in a transaction of at least one good, at least one service, or both, whose marketable value lasts for a period of 30 seconds to 60 minutes.

Abstract: A pop up stopper comprising multiple aperture and at least one non-aperture lever rod engagement locations to allow use of the stopper as a replacement with different pre-existing actuating and drain systems when the existing stopper is broken, worn or needs to be replaced for aesthetic reasons. An existing lever rod is selectively positionable to engage with one of the lever rod engagement locations that are disposed at varying heights on the stopper. Most preferably, there are six lever rod engagement locations, four aperture locations and two non-aperture locations. A seal disposed below a cap and around a body of the stopper comprises an enlarged annular ring near its outer edge to provide increased surface area for sealing a drain opening. The body of the stopper has a maximum width measured in cross section of 1.04 inches or less.

Abstract: A scuff and mar-resistant paint composition includes a base paint formulation and a slip additive dispersed in the base paint formulation. Characteristically, the slip additive has a surface energy less than about 30 mJ/m2. Advantageously, the slip additive being in a sufficient amount such that slip resistance of a coating formed from the scuff and mar-resistant paint composition is decreased compared to a coating formed from the base paint formulation. A method of upgrading a manufactured base paint formulation is also provided.